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
Année de publication: 2018
Volumen: 232
Número: 3
Pages: 227-247
Type: Article