Model-based verification of safety contracts
- Gómez-Martínez, E.
- Rodríguez, R.J.
- Elorza, L.E.
- Rezabal, M.I.
- Earle, C.B.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319152004
Datum der Publikation: 2015
Ausgabe: 8938
Seiten: 101-115
Art: Konferenz-Beitrag