Model Repair Revamped

Cham / Springer International Publishing (2019) [Buchbeitrag]

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): 107-125

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern