TU Darmstadt / ULB / TUbiblio

Delta-oriented Monitor Specification

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker :
Delta-oriented Monitor Specification.
[Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf]
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[ Konferenzveröffentlichung] , (2012)

Offizielle URL: http://www.bodden.de/pubs/bfp+12delta.pdf
Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2012
Autor(en): Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker
Titel: Delta-oriented Monitor Specification
Sprache: Englisch
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: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
Hinterlegungsdatum: 11 Jul 2012 12:14
Offizielle URL: http://www.bodden.de/pubs/bfp+12delta.pdf
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen