A methodological approach for checking safety-critical systems software
- Mendoza, L.E.
- Capel, M.I.
ISSN: 1757-8787, 1757-8779
Año de publicación: 2017
Volumen: 7
Número: 4
Páginas: 341-368
Tipo: Artículo
Revista:
International Journal of Critical Computer-Based Systems