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

Ano de publicación: 2009

Volume: 19

Páxinas: 213-225

Tipo: Artigo

DOI: 10.1007/978-3-642-00670-8_16 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus