KIT | KIT-Bibliothek | Impressum

Verlässliche Software fur kritische Infrastrukturen - Preface

Beckert, Bernhard; Snelting, Gregor



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISBN: 978-3-88579-286-4
ISSN: 1617-5468
KITopen ID: 1000069631
HGF-Programm 46.12.03; LK 01
Erschienen in INFORMATIK 2011 Informatik schafft Communities – Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Berlin, Germany, 4. - 7.10.2011. Ed.: H.-U. Heiß Hrsg.: Hans-Ulrich Heiß; Peter Pepper; Holger Schlingloff; Jörg Schneider
Verlag Ges. für Informatik, Bonn
Seiten 347
Serie GI-Edition : lecture notes in informatics - Proceedings ; 192
Projektinformation KASTEL I (BMBF, 01BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page