Compositional model-checking verification of critical systems

  1. Mendoza, L.E.
  2. Capel, M.I.
  3. Pérez, M.
  4. Benghazi, K.
Colección de libros:
Lecture Notes in Business Information Processing

ISSN: 1865-1348

ISBN: 9783642006692

Año de publicación: 2009

Volumen: 19

Páginas: 213-225

Tipo: Artículo

DOI: 10.1007/978-3-642-00670-8_16 GOOGLE SCHOLAR
Fuente de los datos: Scopus