Non-interference with what-declassification in component-based systems / Daniel Grahl and Simon Greiner
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2015, 10Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015Beschreibung: 1 Online-Ressource (17 ungezählte Seiten)Genre/Form: Online-Ressourcen: PPN: PPN: 845512315Package identifier: Produktsigel: ZDB-296-TTNDieser Titel hat keine Exemplare