A methodology for model-based verification of safety contracts and performance requirements
- Gómez-Martínez, E.
- Rodríguez, R.J.
- Benac-Earle, C.
- Etxeberria, L.
- Illarramendi, M.
ISSN: 1748-0078, 1748-006X
Datum der Publikation: 2018
Ausgabe: 232
Nummer: 3
Seiten: 227-247
Art: Artikel