Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/30113
-
Titel: 
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models
en
Zitat: 
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
-
Verlags-DOI: 
10.1007/978-3-030-22559-9_12
-
Publikationstyp: 
Buchbeitrag - Beitrag in Sammelband
de
Sprache: 
Englisch
-
Autor_innen: 
Kaindl, Hermann 
Hoch, Ralph 
Rathmair, Michael 
Luckeneder, Christoph 
-
Organisations­einheit: 
E384 - Institut für Computertechnik 
E384-02 - Forschungsbereich Systems on Chip 
E384-01 - Forschungsbereich Software-intensive Systems 
-
Erschienen in: 
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering 
-
ISBN: 
978-3-030-22559-9
-
DOI des Buches: 
10.1007/978-3-030-22559-9
-
Datum (veröffentlicht): 
2018
-
Umfang: 
27
-
Verlag: 
Springer, Cham
-
Peer Reviewed: 
Ja
-
Forschungs­schwerpunkte: 
Computer Engineering and Software-Intensive Systems: 50%
Logic and Computation: 50%
-
Wissenschafts­zweig: 
Elektrotechnik, Elektronik, Informationstechnik
Informatik
-
Enthalten in den Sammlungen:
Book Contribution

Zur Langanzeige

Seiten Aufrufe

171
aufgerufen am 20.11.2023

Google ScholarTM

Check