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
Argitalpen urtea: 2015
Alea: 8938
Orrialdeak: 101-115
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 9783319152004
Argitalpen urtea: 2015
Alea: 8938
Orrialdeak: 101-115
Mota: Biltzar ekarpena