TU Darmstadt / ULB / TUbiblio

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation

Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and Suri, Neeraj (2007):
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
In: HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Creators: Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and Suri, Neeraj
Title: Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
Language: English
Title of Book: HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Place of Publication: Washington, DC, USA
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 17 Nov 2010 14:01
Export:

Optionen (nur für Redakteure)

View Item View Item