Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Applying Formal Methods to Real-Size Object-Oriented Designs in Technical Environments

Od 1992-09-01 do 1995-08-31

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Netherlands

Cel

Koordynator

CAP GEMINI INTERNATIONAL SUPPORT
Netherlands
BURGEMEESTER ELSENLAAN, 170, 3027
2280 GA RIJSWIJK
Netherlands
See on map

Uczestnicy

CERN
France
Site de Prévessin
01631 Prevessin
France
See on map
Defence Research Agency (DRA)
United Kingdom
St Andrews Road
WR14 3PS Malvern
United Kingdom
See on map
Kontakt administracyjny: Michael HILL
Tel.: +44-684-894331
Faks: +44-684-894540
HELLENIC INFORMATION TECHNOLOGIES AND ENGINEERING COMPANY S.A.
Greece
ANDROUTSOU, 4
174 55 ALINOS
Greece
See on map
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Kontakt administracyjny: Thomas Stephen Edward MAIBAUM
Tel.: +44-71- 5895111
Faks: +44-71-5818024
Adres e-mail
Instituttet for Anvendt Datateknik /Ifad
Denmark
Forskerparken 10
5230 Odense M
Denmark
See on map
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
TECHNISCHE UNIVERSITEIT DELFT
Netherlands
LANDBERGSTRAAT, 35
2628 CE DELFT
Netherlands
See on map
Kontakt administracyjny: Jan VAN KATWIJK
Tel.: +31-15-786411
Faks: +31-15-787022
UNIVERSITEIT VAN UTRECHT
Netherlands
PRINCETONPLEINWEG 5, 80000
3508 TA UTRECHT
Netherlands
Kontakt administracyjny: Wim LOURENS
Tel.: +31-30-533905
Faks: +31-30-537555
Adres e-mail
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Kontakt administracyjny: Richard MOORE
Tel.: +44-61-2756273
Faks: +44-61-2756236
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę