Properties of Communicating Controllers for Safe Traffic Manoeuvres
Schwammberger, Maike
; Aichernig, Bernhard K. [Hrsg.]; Rossini, Alessandro [Hrsg.]
; Aichernig, Bernhard K. [Hrsg.]; Rossini, Alessandro [Hrsg.]| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000169870 |
| Erschienen in | Proceedings of the Doctoral Symposium of Formal Methods 2015, Ed.: B. Aichernig |
| Veranstaltung | Doctoral Symposium of Formal Methods (2015), Oslo, Norwegen, 22.06.2015 |
| Seiten | 3–7 |