Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Formal Methods in Hardware Verification

Od 1992-06-01 do 1995-11-30

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Spain

Cel

Koordynator

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

Uczestnicy

Brunel University
United Kingdom
Howell Building
UB8 3PH Uxbridge
United Kingdom
See on map
Kontakt administracyjny: Simon FINN
Tel.: +44-89-5258501
Faks: +44-89-5258728
Italtel Società Italiana Telecomunicazioni SpA
Italy
Castelletto di Settimo Milanese
20019 Milano
Italy
See on map
Kontakt administracyjny: Massimo BOMBANO
Tel.: +39-2-43887431
Faks: +39-2-43888593
KURATORIUM OFFIS
Germany
AMMERLANDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Kontakt administracyjny: N/A
Siemens AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Kontakt administracyjny: Erik TIDEN
Tel.: +49-89-63644986
Faks: +49-89-63642284
TELEFONICA
Spain
EMILIO VARGAS, 6
28043 MADRID
Spain
See on map
Kontakt administracyjny: Jose Luis CONESA
Tel.: +34-1-3374130
Faks: +34-1-3374212
UNIVERSITAT POLITECNICA DE MADRID
Spain
CAMPUS DE MONTEGANCEDO
28660 MADRID
Spain
Kontakt administracyjny: Carlos DELGADO KLOOS
Tel.: +34-1-5495700
Faks: +34-1-3367333
Adres e-mail
UNIVERSITÄT PASSAU
Germany
INNSTRAßE 33
94032 PASSAU
Germany
See on map
Kontakt administracyjny: Werner GRASS
Tel.: +49-851-509319
Faks: +49-851-509376
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę