A methodological approach for checking safety-critical systems software
- Mendoza, L.E.
- Capel, M.I.
ISSN: 1757-8787, 1757-8779
Datum der Publikation: 2017
Ausgabe: 7
Nummer: 4
Seiten: 341-368
Art: Artikel
ISSN: 1757-8787, 1757-8779
Datum der Publikation: 2017
Ausgabe: 7
Nummer: 4
Seiten: 341-368
Art: Artikel