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 (2009):
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
In: Proc. of International Conference on Formal Engineering Methods (ICFEM), [Conference or Workshop Item]

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: 20 Department of Computer Science > Dependable Embedded Systems & Software
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
20 Department of Computer Science
LOEWE
Date Deposited: 30 Dec 2016 20:23
Identification Number: TUD-CS-2009-0236
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item