Formal Methods in Hardware Verification

Projektinformationen

FORMAT

ID Finanzhilfevereinbarung: 6128

Projekt abgeschlossen

Startdatum 1 Juni 1992

Enddatum 30 November 1995

Finanziert unter

• Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994

Gesamtkosten

Keine Daten

EU-Beitrag

Keine Daten

Koordiniert durch

TECNOLOGIA GRUPO INI SA
Spain

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Other (1)

Practical formal methods for hardware design

Autoren: DELGADO KLOOS C (Departamento Ingeniería, Universidad Carlos III de Madrid (ES)), DAMM W (EDITORS) (Departamento Ingeniería, Universidad Carlos III de Madrid (ES))
Veröffentlicht in: EUR 17535 EN (1997) 293pp., FS (euroabstract 35/1475), 1997, Seite(n) 293, ISBN 3-540-62007-9