Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Large-Scale Correct Systems Using Formal Methods

Von 1990-07-01 bis 1994-09-30

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

Denmark

Ziel

Koordinator

COMPUTER RESOURCES INTERNATIONAL
Denmark
BREGNEROEDVEJ, 144
3460 BIRKEROED
Denmark
See on map
Administrative Kontaktangaben: Chris GEORGE
Tel.: +45-822100
Fax: +45-821711

Teilnehmer

Bull SA
France
Tour Bull 1 place Carpeaux Puteaux
92039 Paris la Défense
France
Administrative Kontaktangaben: Dominique BOLIGNANO
Tel.: +33-1-30806908
Fax: +33-1-30806953
INISEL
Spain
C/MAR EGEO 4, APARTADO 294
28850 MADRID
Spain
Administrative Kontaktangaben: N/A
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
Administrative Kontaktangaben: DARLISON
Tel.: +44-1-6814040
Fax: +44-1-6816814
Matra Transport
France
48-56 rue Barbes
92542 Montrouge
France
See on map
Administrative Kontaktangaben: Emmanuel DELAFOSSE
Tel.: +33-1-49657348
Fax: +33-1-49657093
SYPRO KOBENHAVN A/S
Denmark
VED VESTERPORT, 6
1612 COPENHAGEN
Denmark
See on map
Administrative Kontaktangaben: Jan HOJLUND
Space Software Italia SpA
Italy
Viale dell'Industria
74100 Taranto
Italy
See on map
Administrative Kontaktangaben: Maddalena CINNELLA
Tel.: +39-99-42505911619
Fax: +39-99-425044
TECHNISYSTEMS LTD
Greece
KARAISKOU STREET, 120
18535 PIREAS
Greece
See on map
Administrative Kontaktangaben: HASSIOTIS
Tel.: +30-210-4124952
Fax: +30-210-4124228
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben