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
Ano de publicación: 2018
Volume: 232
Número: 3
Páxinas: 227-247
Tipo: Artigo