Various Ways to Quantify BDMPs

Bouissou, Marc (Corresponding author); Khan, Shahid (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Krcal, Pavel (Corresponding author)

Sydney : NICTA (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: [The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
Seite(n)/Artikel-Nr.: 1-14

Einrichtungen

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