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
Identifier
- DOI: 10.1007/978-3-030-54549-9_6
- RWTH PUBLICATIONS: RWTH-2021-02252