Formal Methods in Hardware Verification

Información del proyecto

FORMAT

Identificador del acuerdo de subvención: 6128

Proyecto cerrado

Fecha de inicio 1 Junio 1992

Fecha de finalización 30 Noviembre 1995

Financiado con arreglo a

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

Coste total

Sin datos

Aportación de la UE

Sin datos

Coordinado por

TECNOLOGIA GRUPO INI SA
Spain

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (1)

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