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

ISSN: 1748-0078,  1748-006X

Année de publication: 2018

Volumen: 232

Número: 3

Pages: 227-247

Type: Article

DOI: 10.1177/1748006X16667328 GOOGLE SCHOLAR lock_openeBiltegia editor
La source de données: Scopus