TU Darmstadt / ULB / TUbiblio

MOPBox: A Library Approach to Runtime Verification

Bodden, Eric :
MOPBox: A Library Approach to Runtime Verification.
[Online-Edition: http://www.bodden.de/pubs/bodden11mopbox.pdf]
In: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30. In: Lecture notes in computer science , 7186 . Springer
[ Konferenzveröffentlichung] , (2012)

Offizielle URL: http://www.bodden.de/pubs/bodden11mopbox.pdf
Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2012
Autor(en): Bodden, Eric
Titel: MOPBox: A Library Approach to Runtime Verification
Sprache: Englisch
Reihe: Lecture notes in computer science
Band: 7186
Verlag: Springer
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
20 Fachbereich Informatik
LOEWE > LOEWE-Zentren
Veranstaltungstitel: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30
Hinterlegungsdatum: 31 Aug 2013 10:23
Offizielle URL: http://www.bodden.de/pubs/bodden11mopbox.pdf
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen