Formal Methods in Hardware Verification

Project Information

FORMAT

Grant agreement ID: 6128

Project closed

Start date 1 June 1992

End date 30 November 1995

Funded under

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

Total cost

No data

EU contribution

No data

Coordinated by

TECNOLOGIA GRUPO INI SA
Spain

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (1)

Practical formal methods for hardware design

Author(s): DELGADO KLOOS C (Departamento Ingeniería, Universidad Carlos III de Madrid (ES)), DAMM W (EDITORS) (Departamento Ingeniería, Universidad Carlos III de Madrid (ES))
Published in: EUR 17535 EN (1997) 293pp., FS (euroabstract 35/1475), 1997, Page(s) 293, ISBN 3-540-62007-9