KIT | KIT-Bibliothek | Impressum | Datenschutz

Eine formale Semantik für die Java Modeling Language

Bruns, Daniel



Originalveröffentlichung
DOI: 10.1007/s00287-011-0532-0
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
Band 35
Heft 1
Seiten 45-49
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page