KIT | KIT-Bibliothek | Impressum | Datenschutz

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns

Bures, T.; Hnetynka, P.; Heinrich, Robert; Seifermann, Stephan; Walter, Maximilian



Originalveröffentlichung
DOI: 10.1007/978-3-030-61470-6_18
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-61469-0
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000127260
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II. T. Margaria
Veranstaltung 9th International Symposium on Leveraging Applications of Formal Methods (2020), Rhodos, Griechenland, 20.10.2020 – 30.10.2020
Verlag Springer Verlag
Seiten 295-310
Serie Lecture notes in computer science (LNCS) ; 12477
Bemerkung zur Veröffentlichung Die Veranstaltung „9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30“ wurde aufgrund der Corona-Pandemie abgesagt.
Vorab online veröffentlicht am 27.10.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page