Formal methods for correct system design

Programme(s)

• FP3-HCM - Specific research and technological development programme (EEC) in the field of human capital and mobility, 1990-1994

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