Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Formal Methods in Hardware Verification

De 1992-06-01 à 1995-11-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Spain

Objectif

Coordinateur

TECNOLOGIA GRUPO INI SA
Spain
PLAZA DEL MARQUES DE SALAMANCA, 3-4
28006 MADRID
Spain
See on map
Contact administratif: Juan GOICOLEA RUIGOMEZ
Tél.: +34-1-3964923
Fax: +34-1-3964841

Participants

Brunel University
United Kingdom
Howell Building
UB8 3PH Uxbridge
United Kingdom
See on map
Contact administratif: Simon FINN
Tél.: +44-89-5258501
Fax: +44-89-5258728
Italtel Società Italiana Telecomunicazioni SpA
Italy
Castelletto di Settimo Milanese
20019 Milano
Italy
See on map
Contact administratif: Massimo BOMBANO
Tél.: +39-2-43887431
Fax: +39-2-43888593
KURATORIUM OFFIS
Germany
AMMERLANDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Contact administratif: N/A
Siemens AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Contact administratif: Erik TIDEN
Tél.: +49-89-63644986
Fax: +49-89-63642284
TELEFONICA
Spain
EMILIO VARGAS, 6
28043 MADRID
Spain
See on map
Contact administratif: Jose Luis CONESA
Tél.: +34-1-3374130
Fax: +34-1-3374212
UNIVERSITAT POLITECNICA DE MADRID
Spain
CAMPUS DE MONTEGANCEDO
28660 MADRID
Spain
Contact administratif: Carlos DELGADO KLOOS
Tél.: +34-1-5495700
Fax: +34-1-3367333
E-mail
UNIVERSITÄT PASSAU
Germany
INNSTRAßE 33
94032 PASSAU
Germany
See on map
Contact administratif: Werner GRASS
Tél.: +49-851-509319
Fax: +49-851-509376