Formal Methods in Hardware Verification

Informacje na temat projektu

FORMAT

Identyfikator umowy o grant: 6128

Projekt został zamknięty

Data rozpoczęcia 1 Czerwca 1992

Data zakończenia 30 Listopada 1995

Finansowanie w ramach

• Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994

Koszt całkowity

Brak danych

Wkład UE

Brak danych

Koordynowany przez

TECNOLOGIA GRUPO INI SA
Spain

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Other (1)

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