European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-04-19

Formal Methods in Hardware Verification

Publicaciones

Practical formal methods for hardware design

Autores: DELGADO KLOOS C (Departamento Ingeniería, Universidad Carlos III de Madrid (ES)), DAMM W (EDITORS) (Departamento Ingeniería, Universidad Carlos III de Madrid (ES))
Publicado en: EUR 17535 EN (1997) 293pp., FS (euroabstract 35/1475), 1997, Página(s) 293, ISBN 3-540-62007-9

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles