LENGUAJES Y SISTEMAS INFORMÁTICOS
Département
Escuela Superior Politecnica del Litoral
Guayaquil, EcuadorPublications en collaboration avec des chercheurs de Escuela Superior Politecnica del Litoral (2)
2017
-
A methodological approach for checking safety-critical systems software
International Journal of Critical Computer-Based Systems, Vol. 7, Núm. 4, pp. 341-368
2016
-
Checking critical software systems: A formal proposal
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016