A Compositional Semantics for Repairable BDMPs

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

Cham, Switzerland : Springer (2020)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 82-98


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]