A methodological approach for checking safety-critical systems software
- Mendoza, L.E.
- Capel, M.I.
ISSN: 1757-8787, 1757-8779
Argitalpen urtea: 2017
Alea: 7
Zenbakia: 4
Orrialdeak: 341-368
Mota: Artikulua
ISSN: 1757-8787, 1757-8779
Argitalpen urtea: 2017
Alea: 7
Zenbakia: 4
Orrialdeak: 341-368
Mota: Artikulua