European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
Contenu archivé le 2024-04-19

Formal Methods in Hardware Verification

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