KIT | KIT-Bibliothek | Impressum | Datenschutz

Eine formale Semantik für die Java Modeling Language

Bruns, Daniel 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2012
Sprache Deutsch
Identifikator ISSN: 0170-6012, 1432-122X
KITopen-ID: 1000026819
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Informatik-Spektrum
Verlag Springer
Band 35
Heft 1
Seiten 45-49
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page