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
Year of publication: 2018
Volume: 232
Issue: 3
Pages: 227-247
Type: Article