Compositional model-checking verification of critical systems

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

ISSN: 1865-1348

ISBN: 9783642006692

Year of publication: 2009

Volume: 19

Pages: 213-225

Type: Article

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

Sustainable development goals

Data source: Scopus