HOME | ENGLISH | IMPRESSUM | KIT

Technischer Bericht: Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems

[kramerhecker17report]Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, Kateryna Yurchenko, Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems, Department of Informatics, Karlsruhe Institute of Technology, Technischer Bericht, Nr. 2017,12, Karlsruhe, December 2017.

Download

  [DOI]

BibTeX

Institutsinterne Autoren

Partner
Kaibin Bao
Wissenschaftliche Mitarbeiter
Martin Hecker