TU Darmstadt / ULB / TUbiblio

On the Expressiveness of Parameterized Finite-state Runtime Monitors

Bodden, Eric (2012):
On the Expressiveness of Parameterized Finite-state Runtime Monitors.
[Report]

Item Type: Report
Erschienen: 2012
Creators: Bodden, Eric
Title: On the Expressiveness of Parameterized Finite-state Runtime Monitors
Language: English
Divisions: Zentrale Einrichtungen
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
20 Department of Computer Science > EC SPRIDE
LOEWE
20 Department of Computer Science
LOEWE > LOEWE-Zentren
Date Deposited: 21 Feb 2012 13:47
Identification Number: TUD-CS-2012-0013
Export:

Optionen (nur für Redakteure)

View Item View Item