KIT | KIT-Bibliothek | Impressum | Datenschutz

Model Checking the Information Flow Security of Real-Time Systems

Gerking, Christopher ORCID iD icon; Schubert, David; Bodden, Eric; Payer, Mathias [Hrsg.]; Rashid, Awais [Hrsg.]; Such, Jose M. [Hrsg.]


Originalveröffentlichung
DOI: 10.1007/978-3-319-94496-8_3
Scopus
Zitationen: 12
Dimensions
Zitationen: 13
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-319-94495-1
ISSN: 0302-9743
KITopen-ID: 1000142767
Erschienen in Engineering Secure Software and Systems : 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Ed.: Mathias Payer
Veranstaltung 10th Engineering Secure Software and Systems, 10th International Symposium (ESSoS 2018), Paris, Frankreich, 26.06.2018 – 27.06.2018
Verlag Springer
Seiten 27–43
Serie Lecture Notes in Computer Science ; 10953
Externe Relationen Siehe auch
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page