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
Argitalpen urtea: 2018
Alea: 232
Zenbakia: 3
Orrialdeak: 227-247
Mota: Artikulua