Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Formal Methods and Tools for the Development of Distributed and Real-Time Systems

Od 1989-05-01 do 1992-03-31

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Netherlands

Cel

Koordynator

TECHNISCHE UNIVERSITEIT EINDHOVEN
Netherlands
, 513
5600 MB EINDHOVEN
Netherlands
Kontakt administracyjny: WIJERS
Tel.: +31-40-474536
Faks: +31-40-445187
Adres e-mail

Uczestnicy

FORTH RESEARCH CENTER OF CRETE
Greece
MADZAPETAKI, 21, 1385
71110 HERAKLION
Greece
Kontakt administracyjny: Costas COURCOUBETIS
Tel.: +30-2810-221171
Faks: +30-2810-229342
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Kontakt administracyjny: N/A
KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands
TOERNOOIVELD, 1
6525 ED NIJMEGEN
Netherlands
See on map
Kontakt administracyjny: Jan VYTOPIL
Tel.: +31-80-612075
Faks: +31-80-553450
SWEDISH INST. OF COMPUTER SCIENCE
Sweden
ISAFJORDSGATAN, 22, 1263
16428 KISTA
Sweden
See on map
Kontakt administracyjny: Bengt JONSSON
Tel.: +46-18-183157
Faks: +46-18-550225
Adres e-mail
UNIVERSITE DE LIEGE
Belgium
PLACE DU AOUT, 7
4000 LIEGE
Belgium
See on map
Kontakt administracyjny: Pierre WOLPER
Tel.: +32-41-562099
Faks: +32-41-562984
Adres e-mail
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Kontakt administracyjny: Howard BARRINGER
Tel.: +44-61-2756154
Faks: +44-61-2756204
Adres e-mail
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Kontakt administracyjny: George Michael REED
Tel.: +44-865-273857
Faks: +44-865-273839
Adres e-mail
Université de Grenoble I (Université Joseph Fourier)
France
38041 Grenoble
France
See on map
Kontakt administracyjny: Aubert CHRISTIAN
Tel.: +33-76574517
Faks: +33-76574501
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę