TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 10.

Schickel, Martin ; Nimbler, Volker ; Braun, Martin ; Eveking, Hans (2006)
On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process.
Conference or Workshop Item, Bibliographie

eds.: Glesner, Manfred ; Indrusiak, Leandro Soares ; Mooney, V. ; Eveking, Hans (2006)
VLSI-SOC: From Systems to Chips : IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1 - 3, 2003, Darmstadt, Germany.
Book, Bibliographie

Abraham, J. A. ; Betts, A. ; Drechsler, Rolf ; Eveking, Hans ; Foster, H. D. ; Kropf, T. ; Morley, M. J. ; Shiple, T. R. ; Siegel, M. (2002)
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, 19 (5)
doi: 10.1109/MDT.2002.1033798
Article, Bibliographie

Eveking, Hans ; Blank, Claudia ; Krieger, Malte (2002)
Formale Verifikation eingebetteter Systeme.
Other, Bibliographie

Eveking, Hans ; Blank, Claudia ; Levihn, Jens (2002)
Korrekter Entwurf eingebetteter Systeme.
In: Eingebettete Systeme : Entwurf und Anwendungen versteckter Computer.- Darmstadt, 2002.- (Thema Forschung ; 2002,1).- S. 38-41
Article, Bibliographie

Levihn, Jens ; Krieger, Malte ; Eveking, Hans ; Blank, Claudia (2002)
MCML - a markup-language for a model-of-computation centred design and verification environment.
Conference or Workshop Item, Bibliographie

ed.: Eveking, Hans (2001)
Schwerpunktthema: Formale Verifikationsverfahren.
Book, Bibliographie

Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G. (2001)
Symbolic simulation techniques - state-of-the-art and applications.
Conference or Workshop Item, Bibliographie

Eveking, Hans ; Hinrichsen, H. ; Ritter, G. (1999)
Automatic verification of scheduling results in high-level synthesis.
Conference or Workshop Item, Bibliographie

Eveking, Hans (1998)
Machine assisted verification.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Jun 22 00:45:37 2024 CEST.