Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Formal Methods in Hardware Verification

Von 1992-06-01 bis 1995-11-30

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

Spain

Ziel

Koordinator

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

Teilnehmer

Brunel University
United Kingdom
Howell Building
UB8 3PH Uxbridge
United Kingdom
See on map
Administrative Kontaktangaben: 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
Administrative Kontaktangaben: Massimo BOMBANO
Tel.: +39-2-43887431
Fax: +39-2-43888593
KURATORIUM OFFIS
Germany
AMMERLANDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Siemens AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Administrative Kontaktangaben: Erik TIDEN
Tel.: +49-89-63644986
Fax: +49-89-63642284
TELEFONICA
Spain
EMILIO VARGAS, 6
28043 MADRID
Spain
See on map
Administrative Kontaktangaben: Jose Luis CONESA
Tel.: +34-1-3374130
Fax: +34-1-3374212
UNIVERSITAT POLITECNICA DE MADRID
Spain
CAMPUS DE MONTEGANCEDO
28660 MADRID
Spain
Administrative Kontaktangaben: Carlos DELGADO KLOOS
Tel.: +34-1-5495700
Fax: +34-1-3367333
E-Mail-Adresse
UNIVERSITÄT PASSAU
Germany
INNSTRAßE 33
94032 PASSAU
Germany
See on map
Administrative Kontaktangaben: Werner GRASS
Tel.: +49-851-509319
Fax: +49-851-509376
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben