KIT | KIT-Bibliothek | Impressum | Datenschutz

Modular Regression Verification for Reactive Systems

Weigl, Alexander; Ulbrich, Mattias; Lentzsch, Daniel



Originalveröffentlichung
DOI: 10.1007/978-3-030-61470-6_3
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-61469-0
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000127253
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II. Ed.: T. Margaria
Veranstaltung 9th International Symposium on Leveraging Applications of Formal Methods (2020), Rhodos, Griechenland, 20.10.2020 – 30.10.2020
Verlag Springer Verlag
Seiten 25-43
Serie Lecture notes in computer science (LNCS) ; 12477
Bemerkung zur Veröffentlichung Die Veranstaltung „9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020“ wurde aufgrund der Corona-Pandemie abgesagt.
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page