Formalising a Hazard Warning Communication Protocol with Timed Automata
Olderog, Ernst-Rüdiger ; Schwammberger, Maike
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2017 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-63121-9 ISSN: 0302-9743 KITopen-ID: 1000169868 |
| Erschienen in | Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Ed.: L. Aceto |
| Verlag | Springer International Publishing |
| Seiten | 640–660 |
| Serie | Lecture Notes in Computer Science (LNCS) ; 10460 |
| Vorab online veröffentlicht am | 25.07.2017 |
| Nachgewiesen in | Dimensions Scopus |