LENGUAJES Y SISTEMAS INFORMÁTICOS
Fachbereich
Escuela Superior Politecnica del Litoral
Guayaquil, EcuadorPublikationen in Zusammenarbeit mit Forschern von 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