Modular Regression Verification for Reactive Systems
Weigl, Alexander
1; Ulbrich, Mattias
1; Lentzsch, Daniel 1
1 Karlsruher Institut für Technologie (KIT)
1; Ulbrich, Mattias
1; Lentzsch, Daniel 11 Karlsruher Institut für Technologie (KIT)
| 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 Dimensions |
| Relationen in KITopen |