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 |