Domain-Specific Model Checking for Cyber-Physical Systems
Gerking, Christopher
; Schäfer, Wilhelm; Dziwok, Stefan; Heinzemann, Christian; Famelis, Michalis [Hrsg.]; Ratiu, Daniel [Hrsg.]; Seidl, Martina [Hrsg.]; Selim, Gehan M. K. [Hrsg.]
; Schäfer, Wilhelm; Dziwok, Stefan; Heinzemann, Christian; Famelis, Michalis [Hrsg.]; Ratiu, Daniel [Hrsg.]; Seidl, Martina [Hrsg.]; Selim, Gehan M. K. [Hrsg.]| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000142774 |
| Erschienen in | Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015 |
| Veranstaltung | 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Kanada, 27.09.2015 – 02.10.2015 |
| Verlag | RWTH Aachen |
| Seiten | 18–27 |
| Serie | CEUR Workshop Proceedings ; 1514 |
| Externe Relationen | Siehe auch |