Explaining Boolean-Logic Driven Markov Processes using GSPNs

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

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

In: 16th European Dependable Computing Conference : EDCC 2020 : virtual conference, 7-10 September 2020 : proceedings / general chairs: Michael Paulitsch (Intel, Germany), Mario Trapp (Fraunhofer IKS, Germany) ; publisher: IEEE
Seite(n)/Artikel-Nr.: 119-126

Einrichtungen

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