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