Publicaciones en colaboración con investigadores/as de Escuela Superior Politecnica del Litoral (2)

2017

  1. 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

  1. Checking critical software systems: A formal proposal

    Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016