TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 6.

Hinrichsen, Holger :
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
[Online-Edition: urn:nbn:de:tuda-tuprints-1108]
Technische Universität , Darmstadt
[Dissertation], (2000)

Hinrichsen, Holger ; Göhler, R. ; Lipken, H. ; Breilmann, W. :
Economical overvoltage protection by metal-oxide surge arresters integrated in high-voltage AIS disconnectors - substation.
In: Cigre Session 2000 <2000, Paris>: S. 1-10 .
[Konferenz- oder Workshop-Beitrag], (2000)

Hinrichsen, Holger :
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Technische Univ. Darmstadt , Darmstadt
[Dissertation]

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. :
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
In: AAA Workshop <2000, Rocquencourt>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (2000)

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. :
Automatische Synthese und Verifikation von RISC-Prozessoren.
In: GI/ITG/GMM-Workshop <1999, Braunschweig>: Proceedings. Hrsg.: M. Mutz, M. Lange. - Aachen: Shaker, 1999 . Shaker , Aachen
[Konferenz- oder Workshop-Beitrag], (1999)

Hinrichsen, Holger ; Eveking, H. ; Ritter, G. :
Formal synthesis for pipeline design.
In: DMTCS+CATS'99: International Conference on Discrete Mathematics and Theoretical Computer Science <2, 1999, Auckland>: Proceedings. - Berlin (u.a.): Springer, 1999 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

Diese Liste wurde am Tue Oct 17 07:28:59 2017 CEST generiert.