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
Ano de publicación: 2015
Volume: 8938
Páxinas: 101-115
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783319152004
Ano de publicación: 2015
Volume: 8938
Páxinas: 101-115
Tipo: Achega congreso