Community Research and Development Information Service - CORDIS

Formal methods for correct system design

From 1993-08-01 to 1996-07-31

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

Belgium

Topic(s):

Funding scheme:

CSC - Cost-sharing contracts

Coordinator

INTERUNIVERSITAIR MIKRO-ELEKTRONICA CENTRUM VZW
Belgium
75,Kapeldreef 75
3001 HEVERLEE
Belgium
See on map
Administrative contact: N/A

Participants

Bull Sa
France
Rue Jean Jaurès
78340 Les-Clayes-sous-Bois
France
See on map
Administrative contact: N/A
Danmarks Tekniske Universitet
Denmark
2800 Lyngby
Denmark
See on map
Administrative contact: N/A
Fraunhofer-Gesellschaft zur Förderung der Angewandten Forschung eV (FhG)
Germany
Am Weichselgarten 3
91058 Erlangen
Germany
See on map
Administrative contact: N/A
Institut National Polytechnique de Grenoble
France
Domaine Universitaire
38402 Saint-Martin-d'Hères
France
See on map
Administrative contact: N/A
Johann-Wolfgang-Goethe-Universität Frankfurt
Germany
Robert-Mayer-Straße 11-15
60325 Frankfurt am Main
Germany
See on map
Administrative contact: N/A
KURATORIUM OFFIS E. V.
Germany
ESCHERWEG 2
26121 OLDENBURG
Germany
See on map
Administrative contact: N/A
POLITECNICO DI TORINO
Italy
CORSO DUCA DEGLI ABRUZZI 24
10129 TORINO
Italy
See on map
Administrative contact: N/A
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
Administrative contact: N/A
Universidad Politécnica de Madrid
Spain
Ciudad Universitaria
28040 Madrid
Spain
See on map
Administrative contact: N/A
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Administrative contact: N/A
University of Strathclyde
United Kingdom
Richmond Street 26
G1 1XH Glasgow
United Kingdom
See on map
Administrative contact: N/A
Università degli Studi di Roma La Sapienza
Italy
Via Salaria 113-116
00198 Roma
Italy
See on map
Administrative contact: N/A
Universität Passau
Germany
94015 Passau
Germany
Administrative contact: N/A
Université d'Aix-Marseille I (Université de Provence)
France
3 place Victor Hugo
13331 Marseille
France
See on map
Administrative contact: N/A
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top