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: 7.

Konferenzveröffentlichung

Ritter, Gerd (2000)
Sequential equivalence checking by symbolic simulation.
Konferenzveröffentlichung, Bibliographie

Ritter, Gerd (2000)
Verification formelle dans la synthèse automatique des systèmes avec pipeline.
Konferenzveröffentlichung, Bibliographie

Ritter, Gerd ; Hinrichsen, H. ; Eveking, H. (1999)
Formal verification of descriptions with distinct order of memory operations.
Konferenzveröffentlichung, Bibliographie

Ritter, Gerd ; Eveking, H. ; Hinrichsen, H. (1999)
Formal verification of designs with complex control by symbolic simulation.
Konferenzveröffentlichung, Bibliographie

Ritter, Gerd ; Hinrichsen, H. ; Eveking, H. (1999)
Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation.
Konferenzveröffentlichung, Bibliographie

Dissertation

Ritter, Gerd (2001)
Formal Sequential Equivalence Checking of Digital Systems by Symbolic Simulation.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Ritter, Gerd (2001)
Formal sequential equivalence checking of digital systems by symbolic simulation.
Technische Universität Darmstadt
Dissertation, Bibliographie

Diese Liste wurde am Tue Mar 26 03:28:55 2024 CET generiert.