KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-662-49635-0_5

Tool Demonstration: JOANA

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



Zugehörige Institution(en) am KIT Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 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)
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 Berlin Heidelberg, Berlin, Heidelberg
Seiten 89–93
Serie Lecture Notes in Computer Science ; 9635
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page