TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

Schickel, Martin ; Nimbler, Volker ; Braun, Martin ; Eveking, Hans :
On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process.
In: Forum on Design Languages <Darmstadt,2006> .
[Konferenz- oder Workshop-Beitrag], (2006)

Glesner, Manfred ; Indrusiak, Leandro Soares ; Mooney, V. ; Eveking, Hans (eds.), :
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.
Springer, New York ISBN 0-387-33402-5
[Buch], (2006)

Abraham, J. A. ; Betts, A. ; Drechsler, Rolf ; Eveking, Hans ; Foster, H. D. ; Kropf, T. ; Morley, M. J. ; Shiple, T. R. ; Siegel, M. :
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, Vol. 1 pp. 105-113.
[Artikel], (2002)

Eveking, Hans ; Blank, Claudia ; Krieger, Malte :
Formale Verifikation eingebetteter Systeme.
In: CeBIT Hannover, Universitätsstand des Landes Hessen
[Anderes], (2002)

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

Levihn, Jens ; Krieger, Malte ; Eveking, Hans ; Blank, Claudia :
MCML - a markup-language for a model-of-computation centred design and verification environment.
In: Forum on Specification and Design Languages <5, 2002, Marseille> : Proceedings ... FDL '02.- Marseille: ESIM .
[Konferenz- oder Workshop-Beitrag], (2002)

Eveking, Hans (ed.), :
Schwerpunktthema: Formale Verifikationsverfahren.
Oldenbourg, München
[Buch], (2001)

Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G. :
Symbolic simulation techniques - state-of-the-art and applications.
In: HLDVT '01: International High Level Design Validation and Test Workshop <6, 2001, Monterey, Calif.>; Proceedings. - Los Alamitos, Calif.: IEEE Computer Soc., 2001 . IEEE Computer Soc. , Los Alamitos, Calif.
[Konferenz- oder Workshop-Beitrag], (2001)

Eveking, Hans ; Hinrichsen, H. ; Ritter, G. :
Automatic verification of scheduling results in high-level synthesis.
In: DATE'99: Design, Automation and Test in Europe <1999, München>; Proceedings. - Los Alamitos: IEEE, 1999 . IEEE , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (1999)

Eveking, Hans :
Machine assisted verification.
In: Lipari Summerschool on Architecture Design and Validation Methods <1998>: Proceedings. Hrsg.: E. Börger. - Berlin (u.a.): Springer, 1998 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1998)

Diese Liste wurde am Tue Nov 21 08:00:07 2017 CET generiert.