Publisher
Springer International Publishing
Reference36 articles.
1. Bloomfield, R., Khlaaf, H., Ryan Conmy, P., Fletcher, G.: Disruptive innovations and disruptive assurance: assuring machine learning and autonomy. Computer 52(9), 82–89 (2019)
2. Communications in Computer and Information Science;JP Castellanos Ardila,2017
3. Castellanos Ardila, J. P., Gallina, B.: A personal opinion survey on process-based compliance checking in the safety context. In: 13th International Conference on the Quality of Information and Communications Technology (QUATIC) (2020)
4. Castellanos Ardila, J.P., Gallina, B.: Separation of concerns in process compliance checking: divide-and-conquer. In: Systems, Software and Services Process Improvement (EuroAsiaSPI). Springer, Düsseldorf (2020)
5. Castellanos Ardila, J.P., Gallina, B.: Formal contract logic based patterns for facilitating compliance checking against ISO 26262. In: 1st Workshop on Technologies for Regulatory Compliance (TeReCom), pp. 65–72. CEUR-Workshop Proceedings (2017)