Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Large-Scale Correct Systems Using Formal Methods

Od 1990-07-01 do 1994-09-30

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Denmark

Cel

Koordynator

COMPUTER RESOURCES INTERNATIONAL
Denmark
BREGNEROEDVEJ, 144
3460 BIRKEROED
Denmark
See on map
Kontakt administracyjny: Chris GEORGE
Tel.: +45-822100
Faks: +45-821711

Uczestnicy

Bull SA
France
Tour Bull 1 place Carpeaux Puteaux
92039 Paris la Défense
France
Kontakt administracyjny: Dominique BOLIGNANO
Tel.: +33-1-30806908
Faks: +33-1-30806953
INISEL
Spain
C/MAR EGEO 4, APARTADO 294
28850 MADRID
Spain
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
Matra Transport
France
48-56 rue Barbes
92542 Montrouge
France
See on map
Kontakt administracyjny: Emmanuel DELAFOSSE
Tel.: +33-1-49657348
Faks: +33-1-49657093
SYPRO KOBENHAVN A/S
Denmark
VED VESTERPORT, 6
1612 COPENHAGEN
Denmark
See on map
Kontakt administracyjny: Jan HOJLUND
Space Software Italia SpA
Italy
Viale dell'Industria
74100 Taranto
Italy
See on map
Kontakt administracyjny: Maddalena CINNELLA
Tel.: +39-99-42505911619
Faks: +39-99-425044
TECHNISYSTEMS LTD
Greece
KARAISKOU STREET, 120
18535 PIREAS
Greece
See on map
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę