TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 3.

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

Blank, C. (2000)
Formal verification of register binding.
Konferenzveröffentlichung, Bibliographie

Blank, C. ; Ritter, G. ; Hinrichsen, H. ; Eveking, H. (2000)
Formale Verifikation der Register-Allokation.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Sat Dec 21 04:27:18 2024 CET generiert.