KIT | KIT-Bibliothek | Impressum

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 (IAI)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Vortrag
Jahr 2016
Sprache Englisch
Identifikator KITopen ID: 1000072297
HGF-Programm 46.12.03; LK 01
Erschienen in ​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