Record link: 
http://hdl.handle.net/20.500.12708/30113
-
Title: 
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models
en
Citation: 
Kaindl, H., Hoch, R., Rathmair, M., & Luckeneder, C. (2018). Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. In E. Damiani, G. Spanoudakis, & L. Maciaszek (Eds.), Communications in Computer and Information Science (pp. 261–287). Springer International Publishing. https://doi.org/10.1007/978-3-030-22559-9_12
-
Publisher DOI: 
10.1007/978-3-030-22559-9_12
-
Publication Type: 
Book Contribution - Edited Volume Contribution
en
Language: 
English
-
Authors: 
Kaindl, Hermann 
Hoch, Ralph 
Rathmair, Michael 
Luckeneder, Christoph 
-
Organisational Unit: 
E384 - Institut für Computertechnik 
E384-02 - Forschungsbereich Systems on Chip 
E384-01 - Forschungsbereich Software-intensive Systems 
-
Published in: 
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering 
-
ISBN: 
978-3-030-22559-9
-
DOI of the book: 
10.1007/978-3-030-22559-9
-
Date (published): 
2018
-
Number of Pages: 
27
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 50%
Logic and Computation: 50%
-
Science Branch: 
Elektrotechnik, Elektronik, Informationstechnik
Informatik
-
Appears in Collections:
Book Contribution

Show full item record

Page view(s)

150
checked on Nov 20, 2023

Google ScholarTM

Check