TU Darmstadt / ULB / TUbiblio

Clara: Partially Evaluating Runtime Monitors at Compile Time

Bodden, Eric ; Lam, Patrick :
Clara: Partially Evaluating Runtime Monitors at Compile Time.
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[ Konferenzveröffentlichung] , (2010)

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2010
Autor(en): Bodden, Eric ; Lam, Patrick
Titel: Clara: Partially Evaluating Runtime Monitors at Compile Time
Sprache: Englisch
Reihe: LNCS
Band: 6418
Verlag: Springer
Freie Schlagworte: clara
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
Veranstaltungstitel: 1st International Conference on Runtime Verification (RV)
Hinterlegungsdatum: 21 Dez 2010 15:03
Zusätzliche Informationen:

Tutorial

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen