Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Formal Methods in Hardware Verification

Desde 1992-06-01 hasta 1995-11-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Spain

Objetivo

Coordinador

TECNOLOGIA GRUPO INI SA
Spain
PLAZA DEL MARQUES DE SALAMANCA, 3-4
28006 MADRID
Spain
See on map
Contacto administrativo: Juan GOICOLEA RUIGOMEZ
Tel.: +34-1-3964923
Fax: +34-1-3964841

Participantes

Brunel University
United Kingdom
Howell Building
UB8 3PH Uxbridge
United Kingdom
See on map
Contacto administrativo: Simon FINN
Tel.: +44-89-5258501
Fax: +44-89-5258728
Italtel Società Italiana Telecomunicazioni SpA
Italy
Castelletto di Settimo Milanese
20019 Milano
Italy
See on map
Contacto administrativo: Massimo BOMBANO
Tel.: +39-2-43887431
Fax: +39-2-43888593
KURATORIUM OFFIS
Germany
AMMERLANDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Contacto administrativo: N/A
Siemens AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Contacto administrativo: Erik TIDEN
Tel.: +49-89-63644986
Fax: +49-89-63642284
TELEFONICA
Spain
EMILIO VARGAS, 6
28043 MADRID
Spain
See on map
Contacto administrativo: Jose Luis CONESA
Tel.: +34-1-3374130
Fax: +34-1-3374212
UNIVERSITAT POLITECNICA DE MADRID
Spain
CAMPUS DE MONTEGANCEDO
28660 MADRID
Spain
Contacto administrativo: Carlos DELGADO KLOOS
Tel.: +34-1-5495700
Fax: +34-1-3367333
Correo electrónico
UNIVERSITÄT PASSAU
Germany
INNSTRAßE 33
94032 PASSAU
Germany
See on map
Contacto administrativo: Werner GRASS
Tel.: +49-851-509319
Fax: +49-851-509376
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba