KIT - Karlsruher Institut für Technologie
Lehrstuhl Prof. Zitterbart - Institut für Telematik
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
suchen
suchen
Home
Über uns
Start
Über uns
Über uns
Mitarbeiter
Sekretariat
Anfahrt
Forschung
Start
Forschung
Forschung
Projekte
Start
Forschung
Projekte
Projekte
6G-ANNA
KIRA
Open6GHub
KIWI
bwNet2020+
KASTEL
Publikationen
Events
Start
Forschung
Events
Events
Seminarreihe - Internet: Technologie & Werte
Start
Forschung
Events
Seminarreihe - Internet: Technologie & Werte
Seminarreihe - Internet: Technologie & Werte
Veranstalter
Bisherige Veranstaltungen
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Lehrveranstaltungen
COVID-19 und Lehre
Abschlussarbeiten
Prüfungstermine/-anmeldung
Sprechstunden
Studienprofil: Internet und Gesellschaft
Offene Stellen
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
suchen
suchen
Lehrstuhl Prof. Zitterbart - Institut für Telematik
Startseite
Karlsruher Institut für Technologie (KIT) - Institut für Telematik - Lehrstuhl Prof. Zitterbart
Home
Über uns
Forschung
Studium und Lehre
Offene Stellen
Specification and Verification of Confidentiality in Component-Based Systems
Autor:
M. Kramer, A. Hergenröder, M. Hecker, S. Greiner, K. Bao
Links:
Download
Bibtex
Quelle:
Publication type unknown!2014