TU Darmstadt / ULB / TUbiblio

Model checking of an on-line diagnosis algorithm

Bokor, Peter :
Model checking of an on-line diagnosis algorithm.
TUD, DEEDS , Darmstadt
[Report], (2005)

Typ des Eintrags: Report
Erschienen: 2005
Autor(en): Bokor, Peter
Titel: Model checking of an on-line diagnosis algorithm
Sprache: Englisch
Band: 07-200
Ort: Darmstadt
Verlag: TUD, DEEDS
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen