TU Darmstadt / ULB / TUbiblio

VeXt - a framework for property verification of mixed data and control intensive designs

Blank, C. (2001)
VeXt - a framework for property verification of mixed data and control intensive designs.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2001
Autor(en): Blank, C.
Art des Eintrags: Bibliographie
Titel: VeXt - a framework for property verification of mixed data and control intensive designs
Sprache: Englisch
Publikationsjahr: 2001
Ort: Tübingen
Verlag: Wilhelm-Schickard-Inst. für Informatik
Reihe: Demonstrations at the University Booth of the DATE Conference 2001 <2001, München>: Proceedings. - Tübingen: Wilhelm-Schickard-Inst. für Informatik, 2001
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:28
Letzte Änderung: 05 Mär 2013 08:52
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen