Model Repair Revamped
Češka, Milan; Dehnert, Hans Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
Cham : Springer International Publishing (2019)
Buchbeitrag
In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Seite(n)/Artikel-Nr.: 107-125
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.1007/978-3-030-31514-6_7
- RWTH PUBLICATIONS: RWTH-2019-09236