TU Darmstadt / ULB / TUbiblio

Delta-oriented Monitor Specification

Bodden, Eric and Falzon, Kevin and Pun, Ka I. and 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
[Conference or Workshop Item] , (2012)

Official URL: http://www.bodden.de/pubs/bfp+12delta.pdf
Item Type: Conference or Workshop Item
Erschienen: 2012
Creators: Bodden, Eric and Falzon, Kevin and Pun, Ka I. and Stolz, Volker
Title: Delta-oriented Monitor Specification
Language: English
Publisher: Springer
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Department of Computer Science > EC SPRIDE
Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
Department of Computer Science
LOEWE > LOEWE-Zentren
Event Title: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
Date Deposited: 11 Jul 2012 12:14
Official URL: http://www.bodden.de/pubs/bfp+12delta.pdf
Export:

Optionen (nur für Redakteure)

View Item View Item