TU Darmstadt / ULB / TUbiblio

Formally verified on-line diagnosis

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 Eintrag anzeigen