Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Book title Buchtitel
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
ISBN
978-3-030-22559-9
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer International Publishing
Springer International Publishing
Place of publishing Erscheinungsort
Cham
Basel, Switzerland
Basel, Switzerland
DOI
10.1007/978-3-030-22559-9
Series Schriftenreihe
Communications in Computer and Information Science
Subject
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph ; Damiani, Ernesto ; Spanoudakis, George ; Maciaszek, Leszek | Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models | Buchbeitrag Book Contribution  | 2018 | |
| 2 | Hoch, Ralph ; Kaindl, Hermann ; INSTICC | Verification of Feature Coordination using the Fluent Calculus | Konferenzbeitrag Inproceedings | 2018 |