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.
Zeitschrift:
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

ISSN: 1748-0078,  1748-006X

Datum der Publikation: 2018

Ausgabe: 232

Nummer: 3

Seiten: 227-247

Art: Artikel

DOI: 10.1177/1748006X16667328 GOOGLE SCHOLAR lock_openeBiltegia editor
Datenquelle: Scopus