A formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software

  1. Capel, M.I.
  2. Morales, L.E.M.
Actas:
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

ISBN: 9789898565105

Año de publicación: 2012

Volumen: 2 ISAS

Número: SAIC/-

Páginas: 105-112

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus