Leire
Etxeberria Elorza
![Foto de Leire](/img/nophoto.png)
![Foto de Universidad de Zaragoza](/img/noimage_org.png)
Universidad de Zaragoza
Zaragoza, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Zaragoza (1)
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