TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Walter, Chris J. ; Lincoln, Patrick ; Suri, Neeraj (1997)
Formally verified on-line diagnosis.
In: IEEE transactions on software engineering
Artikel, Bibliographie