A Compositional Semantics for Repairable BDMPs

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

Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer safety, reliability, and security : 39th international conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (Eds.)
Seite(n)/Artikel-Nr.: 82-98