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