Formal Methods in Hardware Verification

Informations projet

FORMAT

N° de convention de subvention: 6128

Projet clôturé

Date de début 1 Juin 1992

Date de fin 30 Novembre 1995

Financé au titre de

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

Coût total

Aucune donnée

Contribution de l’UE

Aucune donnée

Coordonné par

TECNOLOGIA GRUPO INI SA
Spain

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (1)

Practical formal methods for hardware design

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