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

ISSN: 1748-0078,  1748-006X

Argitalpen urtea: 2018

Alea: 232

Zenbakia: 3

Orrialdeak: 227-247

Mota: Artikulua

DOI: 10.1177/1748006X16667328 GOOGLE SCHOLAR lock_openeBiltegia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus