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 € 0,00

EU-Beitrag Keine Daten

Koordiniert durch

TECNOLOGIA GRUPO INI SA
Spain

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