KIT | KIT-Bibliothek | Impressum | Datenschutz

Ada - Die sichere Programmiersprache

Keller, H. B.; Mottok, J.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik (IAI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Vortrag
Publikationsjahr 2013
Sprache Deutsch
Identifikator KITopen-ID: 230093101
HGF-Programm 34.02.02 (POF II, LK 01) Simulation und Messtechnik
Veranstaltung Impulse für Software Engineering; Summer School, Regensburg, 9.-18. September 2013
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page