TU Darmstadt / ULB / TUbiblio

Delta-oriented Monitor Specification

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

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
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
20 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:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item