Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Large-Scale Correct Systems Using Formal Methods

De 1990-07-01 à 1994-09-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Denmark

Objectif

Coordinateur

COMPUTER RESOURCES INTERNATIONAL
Denmark
BREGNEROEDVEJ, 144
3460 BIRKEROED
Denmark
See on map
Contact administratif: Chris GEORGE
Tél.: +45-822100
Fax: +45-821711

Participants

Bull SA
France
Tour Bull 1 place Carpeaux Puteaux
92039 Paris la Défense
France
Contact administratif: Dominique BOLIGNANO
Tél.: +33-1-30806908
Fax: +33-1-30806953
INISEL
Spain
C/MAR EGEO 4, APARTADO 294
28850 MADRID
Spain
Contact administratif: N/A
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
Contact administratif: DARLISON
Tél.: +44-1-6814040
Fax: +44-1-6816814
Matra Transport
France
48-56 rue Barbes
92542 Montrouge
France
See on map
Contact administratif: Emmanuel DELAFOSSE
Tél.: +33-1-49657348
Fax: +33-1-49657093
SYPRO KOBENHAVN A/S
Denmark
VED VESTERPORT, 6
1612 COPENHAGEN
Denmark
See on map
Contact administratif: Jan HOJLUND
Space Software Italia SpA
Italy
Viale dell'Industria
74100 Taranto
Italy
See on map
Contact administratif: Maddalena CINNELLA
Tél.: +39-99-42505911619
Fax: +39-99-425044
TECHNISYSTEMS LTD
Greece
KARAISKOU STREET, 120
18535 PIREAS
Greece
See on map
Contact administratif: HASSIOTIS
Tél.: +30-210-4124952
Fax: +30-210-4124228