TU Darmstadt / ULB / TUbiblio

Formally verified on-line diagnosis

Walter, Chris J. and Lincoln, Patrick and Suri, Neeraj (1997):
Formally verified on-line diagnosis.
In: IEEE transactions on software engineering, pp. 684-721, [Article]

Item Type: Article
Erschienen: 1997
Creators: Walter, Chris J. and Lincoln, Patrick and Suri, Neeraj
Title: Formally verified on-line diagnosis
Language: German
Journal or Publication Title: IEEE transactions on software engineering
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 19 Nov 2008 15:54
License: [undefiniert]
Export:

Optionen (nur für Redakteure)

View Item View Item