Skip to main content

Formal methods for correct system design

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

INTERUNIVERSITAIR MIKRO-ELEKTRONICA CENTRUM VZW
Address
75,Kapeldreef 75
3001 Heverlee
Belgium

Participants (14)

Bull Sa
France
Address
Rue Jean Jaurès
78340 Les-clayes-sous-bois
Danmarks Tekniske Universitet
Denmark
Address

2800 Lyngby
Fraunhofer-Gesellschaft zur Förderung der Angewandten Forschung eV (FhG)
Germany
Address
Am Weichselgarten 3
91058 Erlangen
Institut National Polytechnique de Grenoble
France
Address
Domaine Universitaire
38402 Saint-martin-d'hères
Johann-Wolfgang-Goethe-Universität Frankfurt
Germany
Address
Robert-mayer-straße 11-15
60325 Frankfurt Am Main
KURATORIUM OFFIS E. V.
Germany
Address
Escherweg 2
26121 Oldenburg
POLITECNICO DI TORINO
Italy
Address
Corso Duca Degli Abruzzi 24
10129 Torino
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Address
Pembroke Street, New Museums Site
CB2 3QG Cambridge
Universidad Politécnica de Madrid
Spain
Address
Ciudad Universitaria
28040 Madrid
University of Manchester
United Kingdom
Address
Oxford Road
M13 9PL Manchester
University of Strathclyde
United Kingdom
Address
Richmond Street 26
G1 1XH Glasgow
Università degli Studi di Roma La Sapienza
Italy
Address
Via Salaria 113-116
00198 Roma
Universität Passau
Germany
Address

94015 Passau
Université d'Aix-Marseille I (Université de Provence)
France
Address
3 Place Victor Hugo
13331 Marseille