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
Année de publication: 2015
Volumen: 8938
Pages: 101-115
Type: Communication dans un congrès