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 |
Drucken
Impressum