Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Building Correct Reactive Systems

Dal 1992-07-01 al 1995-06-30

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Belgium

Obiettivo

Coordinatore

UNIVERSITE DE LIEGE
Belgium
PLACE DU AOUT, 7
4000 LIEGE
Belgium
See on map
Contatto amministrativo: Pierre WOLPER
Tel.: +32-41-562099
Fax: +32-41-562984
E-mail

Partecipanti

CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Contatto amministrativo: Willem Paul DE ROEVER
Tel.: +49-431-560474
Fax: +49-431-566143
E-mail
FORTH RESEARCH CENTER OF CRETE
Greece
MADZAPETAKI, 21, 1385
71110 HERAKLION
Greece
Contatto amministrativo: Costas COURCOUBETIS
Tel.: +30-2810-221171
Fax: +30-2810-229342
E-mail
Institut National Polytechnique de Grenoble
France
46 avenue Félix Viallet
38031 Grenoble
France
See on map
Contatto amministrativo: Aubert CHRISTIAN
Tel.: +33-76574517
Fax: +33-76574501
E-mail
SWEDISH INST. OF COMPUTER SCIENCE
Sweden
ISAFJORDSGATAN, 22, 1263
16428 KISTA
Sweden
See on map
Contatto amministrativo: Bengt JONSSON
Tel.: +46-18-183157
Fax: +46-18-550225
E-mail
TECHNICAL RESEARCH CENTER OF FINLAND
Finland
, 181
90101 OULU
Finland
See on map
Contatto amministrativo: Hannu HAKALAHTI
Tel.: +358-81-5512111
Fax: +358-81-5512320
UNIVERSITY OF UPPSALA
Sweden
75121 UPPSALA
Sweden
See on map
Contatto amministrativo: ASPLUND
Tel.: +46-
Fax: +46-
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Contatto amministrativo: George Michael REED
Tel.: +44-865-273857
Fax: +44-865-273839
E-mail