European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-04-19

Formal Methods in Hardware Verification

Publikacje

Practical formal methods for hardware design

Autorzy: DELGADO KLOOS C (Departamento Ingeniería, Universidad Carlos III de Madrid (ES)), DAMM W (EDITORS) (Departamento Ingeniería, Universidad Carlos III de Madrid (ES))
Opublikowane w: EUR 17535 EN (1997) 293pp., FS (euroabstract 35/1475), 1997, Strona(/y) 293, ISBN 3-540-62007-9

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników