KIT | KIT-Bibliothek | Impressum | Datenschutz

Tool Demonstration: JOANA

Graf, Jürgen; Hecker, Martin; Mohr, Martin; Snelting, Gregor



Originalveröffentlichung
DOI: 10.1007/978-3-662-49635-0_5
Scopus
Zitationen: 3
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-662-49634-3
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000068531
HGF-Programm 46.12.03 (POF III, LK 01) Data Security
Erschienen in 5th International Conference on Principles of Security and Trust, POST 2016 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 2 April 2016 through 8 April 2016. Ed.: F. Piessens
Verlag Springer Verlag GmbH Deutschland
Seiten 89–93
Serie Lecture Notes in Computer Science ; 9635
Projektinformation KASTEL_IoE (BMBF, EU 6. RP, 16KIS0346)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page