Model Checking the Multi-Formalism Language FIGARO

Khan, Shahid (Corresponding author); Volk, Matthias; Katoen, Joost-Pieter; Braibant, Alexis; Bouissou, Marc

Piscataway, NJ : IEEE (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE
Seite(n)/Artikel-Nr.: 463-470

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern