KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/s00287-011-0532-0

Eine formale Semantik für die Java Modeling Language

Bruns, Daniel



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