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
Year of publication: 2015
Volume: 8938
Pages: 101-115
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783319152004
Year of publication: 2015
Volume: 8938
Pages: 101-115
Type: Conference paper