Compositional model-checking verification of critical systems

  1. Mendoza, L.E.
  2. Capel, M.I.
  3. Pérez, M.
  4. Benghazi, K.
Col·lecció de llibres:
Lecture Notes in Business Information Processing

ISSN: 1865-1348

ISBN: 9783642006692

Any de publicació: 2009

Volum: 19

Pàgines: 213-225

Tipus: Article

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

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus