KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Bao, Kaibin ORCID iD icon; 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
Publikationsjahr 2016
Sprache Englisch
Identifikator KITopen-ID: 1000072297
HGF-Programm 46.12.03 (POF III, LK 01) Data Security
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