A methodological approach for checking safety-critical systems software

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

ISSN: 1757-8787,  1757-8779

Datum der Publikation: 2017

Ausgabe: 7

Nummer: 4

Seiten: 341-368

Art: Artikel

DOI: 10.1504/IJCCBS.2017.089985 GOOGLE SCHOLAR
Datenquelle: Scopus