Leire
Etxeberria Elorza
Universidad Politécnica de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (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)