European Commission logo
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS
Contenuto archiviato il 2024-04-19

Formal Methods in Hardware Verification

Pubblicazioni

Practical formal methods for hardware design

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile