Walter, Chris J. ; Lincoln, Patrick ; Suri, Neeraj
:
Formally verified on-line diagnosis.
In:
IEEE transactions on software engineering
pp. 684-721.
[Artikel], (1997)
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 1997 |
| Autor(en): | Walter, Chris J. ; Lincoln, Patrick ; Suri, Neeraj |
| Titel: | Formally verified on-line diagnosis |
| Sprache: | Deutsch |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | IEEE transactions on software engineering |
| Fachbereich(e)/-gebiet(e): | Fachbereich Informatik Fachbereich Informatik > Zuverlässige Eingebettete Softwaresysteme, Dependable, Embedded Systems & Software Group (DEEDS Group) |
| Hinterlegungsdatum: | 19 Nov 2008 15:54 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum