TU Darmstadt / ULB / TUbiblio

On the Use of Formal Techniques for Validation

Suri, Neeraj and Sinha, Purnendu (1998):
On the Use of Formal Techniques for Validation.
In: 28th International Symposium on Fault-Tolerant Computing (FTCS-28), [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1998
Creators: Suri, Neeraj and Sinha, Purnendu
Title: On the Use of Formal Techniques for Validation
Language: German
Title of Book: 28th International Symposium on Fault-Tolerant Computing (FTCS-28)
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-1998-0007
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item