KIT | KIT-Bibliothek | Impressum | Datenschutz

Supporting Confidentiality in UML: A Profile for the Decentralized Label Model

Heldal, Rogardt; Schlager, Steffen; Bende, Jakob


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2004
Sprache Englisch
Identifikator KITopen-ID: 1000002409
Erschienen in Proceedings, 3rd International Workshop on Critical Systems Development with UML, CSD-UML '04, Lisbon, Portugal, 11.-15.10.04
Seiten 56-70
Serie TU Munich Technical Report TUM-I0415
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page