A methodological approach for checking safety-critical systems software

  1. Mendoza, L.E.
  2. Capel, M.I.
Aldizkaria:
International Journal of Critical Computer-Based Systems

ISSN: 1757-8787,  1757-8779

Argitalpen urtea: 2017

Alea: 7

Zenbakia: 4

Orrialdeak: 341-368

Mota: Artikulua

DOI: 10.1504/IJCCBS.2017.089985 GOOGLE SCHOLAR
Datuen iturria: Scopus