TU Darmstadt / ULB / TUbiblio

On using abstraction to model check an on-line diagnostic protocol

Bokor, Peter ; Serafini, Marco :
On using abstraction to model check an on-line diagnostic protocol.
TUD, DEEDS , Darmstadt
[Report], (2005)

Typ des Eintrags: Report
Erschienen: 2005
Autor(en): Bokor, Peter ; Serafini, Marco
Titel: On using abstraction to model check an on-line diagnostic protocol
Sprache: Deutsch
Band: 10-3-2
Ort: Darmstadt
Verlag: TUD, DEEDS
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:23
Zusätzliche Informationen:

Ebenfalls ersch. in: Ninth IEEE International Symposium on High-Assurance Systems Engineering : HASE 2005 ; 12 - 14 October 2005, Heidelberg, Germany / sponsored by Friedrich-Alexander-Universität Erlangen-Nürnberg; Technische Universität Darmstadt; IEEE Computer Society.- Los Alamitos [u.a] : IEEE Computer Society, 2005.- XII, 173 S.-ISBN: 0-7695-2377-3

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen