Compositional model-checking verification of critical systems

  1. Mendoza, L.E.
  2. Capel, M.I.
  3. Pérez, M.
  4. Benghazi, K.
Büchersammlung:
Lecture Notes in Business Information Processing

ISSN: 1865-1348

ISBN: 9783642006692

Datum der Publikation: 2009

Ausgabe: 19

Seiten: 213-225

Art: Artikel

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

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus