CASED Publikation
On the Expressiveness of Parameterized Finite-state Runtime Monitors
Eric Bodden
Januar 2012.
CASED wird gefördert durch
Forschung
Arbeitsbereiche
Sichere Daten
Sichere Dinge
Sichere Dienste
Forschungsgruppen & Projekte
Hier finden Sie eine wachsende Liste der CASED-assoziierten Forschungsgruppen und Projekte
Forschungsthemen der Clusterpartner im Gebiet IT-Sicherheit
Technische Universität Darmstadt
Fraunhofer SIT
Hochschule Darmstadt
Publikationen
Software und
Downloads