A methodological approach for checking safety-critical systems software

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

ISSN: 1757-8787,  1757-8779

Year of publication: 2017

Volume: 7

Issue: 4

Pages: 341-368

Type: Article

DOI: 10.1504/IJCCBS.2017.089985 GOOGLE SCHOLAR
Data source: Scopus