TU Darmstadt / ULB / TUbiblio

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

Blank, C. :
VeXt - a framework for property verification of mixed data and control intensive designs.
In: Demonstrations at the University Booth of the DATE Conference 2001 <2001, München>: Proceedings. - Tübingen: Wilhelm-Schickard-Inst. für Informatik, 2001 . Wilhelm-Schickard-Inst. für Informatik , Tübingen
[Konferenz- oder Workshop-Beitrag], (2001)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2001
Autor(en): Blank, C.
Titel: VeXt - a framework for property verification of mixed data and control intensive designs
Sprache: Englisch
Reihe: Demonstrations at the University Booth of the DATE Conference 2001 <2001, München>: Proceedings. - Tübingen: Wilhelm-Schickard-Inst. für Informatik, 2001
Ort: Tübingen
Verlag: Wilhelm-Schickard-Inst. für Informatik
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:28
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen