Skip to main content

Formal methods for correct system design

Topic(s)

Data not available

Call for proposal

Data not available

Coordinator

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

See on map

Participants (14)

Bull Sa
France
Address
Rue Jean Jaurès
78340 Les-clayes-sous-bois

See on map

Danmarks Tekniske Universitet
Denmark
Address

2800 Lyngby

See on map

Fraunhofer-Gesellschaft zur Förderung der Angewandten Forschung eV (FhG)
Germany
Address
Am Weichselgarten 3
91058 Erlangen

See on map

Institut National Polytechnique de Grenoble
France
Address
Domaine Universitaire
38402 Saint-martin-d'hères

See on map

Johann-Wolfgang-Goethe-Universität Frankfurt
Germany
Address
Robert-mayer-straße 11-15
60325 Frankfurt Am Main

See on map

KURATORIUM OFFIS E. V.
Germany
Address
Escherweg 2
26121 Oldenburg

See on map

POLITECNICO DI TORINO
Italy
Address
Corso Duca Degli Abruzzi 24
10129 Torino

See on map

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Address
Pembroke Street, New Museums Site
CB2 3QG Cambridge

See on map

Universidad Politécnica de Madrid
Spain
Address
Ciudad Universitaria
28040 Madrid

See on map

University of Manchester
United Kingdom
Address
Oxford Road
M13 9PL Manchester

See on map

University of Strathclyde
United Kingdom
Address
Richmond Street 26
G1 1XH Glasgow

See on map

Università degli Studi di Roma La Sapienza
Italy
Address
Via Salaria 113-116
00198 Roma

See on map

Universität Passau
Germany
Address

94015 Passau

See on map

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

See on map