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

2018

  1. Constructing bibliometric networks from Spanish doctoral theses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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