Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français fr
CORDIS - Résultats de la recherche de l’UE
CORDIS
Contenu archivé le 2024-04-19

Formal Methods in Hardware Verification

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

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0