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

Formal methods for correct system design

Desde 1993-08-01 hasta 1996-07-31

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Belgium

Tema(s):

Régimen de financiación:

CSC - Cost-sharing contracts

Coordinador

INTERUNIVERSITAIR MIKRO-ELEKTRONICA CENTRUM VZW
Belgium
75,Kapeldreef 75
3001 HEVERLEE
Belgium
See on map

Participantes

Bull Sa
France
Rue Jean Jaurès
78340 Les-Clayes-sous-Bois
France
See on map
Danmarks Tekniske Universitet
Denmark
2800 Lyngby
Denmark
See on map
Fraunhofer-Gesellschaft zur Förderung der Angewandten Forschung eV (FhG)
Germany
Am Weichselgarten 3
91058 Erlangen
Germany
See on map
Institut National Polytechnique de Grenoble
France
Domaine Universitaire
38402 Saint-Martin-d'Hères
France
See on map
Johann-Wolfgang-Goethe-Universität Frankfurt
Germany
Robert-Mayer-Straße 11-15
60325 Frankfurt am Main
Germany
See on map
KURATORIUM OFFIS E. V.
Germany
ESCHERWEG 2
26121 OLDENBURG
Germany
See on map
POLITECNICO DI TORINO
Italy
CORSO DUCA DEGLI ABRUZZI 24
10129 TORINO
Italy
See on map
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Pembroke Street, New Museums Site
CB2 3QG CAMBRIDGE
United Kingdom
See on map
Universidad Politécnica de Madrid
Spain
Ciudad Universitaria
28040 Madrid
Spain
See on map
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
University of Strathclyde
United Kingdom
Richmond Street 26
G1 1XH Glasgow
United Kingdom
See on map
Università degli Studi di Roma La Sapienza
Italy
Via Salaria 113-116
00198 Roma
Italy
See on map
Universität Passau
Germany
94015 Passau
Germany
Université d'Aix-Marseille I (Université de Provence)
France
3 place Victor Hugo
13331 Marseille
France
See on map
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba