MARÍA ELENA
GÓMEZ MARTÍNEZ
Profesora contratada doctora
![Foto de MARÍA ELENA](/img/nophoto.png)
![Foto de Universidad de Mondragón/Mondragon Unibertsitatea](/img/noimage_org.png)
Universidad de Mondragón/Mondragon Unibertsitatea
Mondragón, EspañaPublications en collaboration avec des chercheurs de Universidad de Mondragón/Mondragon Unibertsitatea (2)
2018
-
A methodology for model-based verification of safety contracts and performance requirements
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247
2015
-
Model-based verification of safety contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)