KIT | KIT-Bibliothek | Impressum | Datenschutz

Use of memory-/type-/thread-safe programming languages

Bao, Kaibin; Schneider, Oliver; Keller, Hubert



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Institut für Angewandte Informatik (IAI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Vortrag
Jahr 2016
Sprache Englisch
Identifikator KITopen-ID: 1000072297
HGF-Programm 46.12.03 (POF III, LK 01)
Veranstaltung ​IEEE Invitational Workshop to Create ​a Building Code for Building Code for Power System Software Security, University of Illinois at Urbana-Champaign, November 16-18, 2016
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Bemerkung zur Veröffentlichung https://www.computer.org/cms/CYBSI/docs/BCPSSS.pdf
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page