Model Repair Revamped

Češka, Milan; Dehnert, Hans Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter

Cham : Springer International Publishing (2019)
Contribution to a book

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

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]