A methodology for model-based verification of safety contracts and performance requirements

  1. Gómez-Martínez, E.
  2. Rodríguez, R.J.
  3. Benac-Earle, C.
  4. Etxeberria, L.
  5. Illarramendi, M.
Revista:
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

ISSN: 1748-0078 1748-006X

Año de publicación: 2018

Volumen: 232

Número: 3

Páginas: 227-247

Tipo: Artículo

DOI: 10.1177/1748006X16667328 GOOGLE SCHOLAR lock_openeBiltegia editor

Objetivos de desarrollo sostenible