Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]
URL / URN: http://www.bodden.de/pubs/bfp+12delta.pdf
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2012 |
| Creators: | Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; 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 |
| URL / URN: | http://www.bodden.de/pubs/bfp+12delta.pdf |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum