TU Darmstadt / ULB / TUbiblio

Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Proc. of International Conference on Formal Engineering Methods (ICFEM)
[Conference or Workshop Item] , (2009)

Item Type: Conference or Workshop Item
Erschienen: 2009
Creators: Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut
Title: Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support
Language: German
Title of Book: Proc. of International Conference on Formal Engineering Methods (ICFEM)
Uncontrolled Keywords: Secure Things
Divisions: Department of Computer Science > Dependable Embedded Systems & Software
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
Department of Computer Science
LOEWE
Date Deposited: 30 Dec 2016 20:23
Identification Number: TUD-CS-2009-0236
Export:

Optionen (nur für Redakteure)

View Item View Item