TU Darmstadt / ULB / TUbiblio

On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols

Sinha, Purnendu and Suri, Neeraj (1999):
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
In: Real-Time Systems Symposium (RTSS), [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1999
Creators: Sinha, Purnendu and Suri, Neeraj
Title: On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
Language: German
Title of Book: Real-Time Systems Symposium (RTSS)
Divisions: 20 Department of Computer Science > Dependable Embedded Systems & Software
20 Department of Computer Science
Date Deposited: 30 Dec 2016 21:41
Identification Number: TUD-CS-1999-0008
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item