Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Large-Scale Correct Systems Using Formal Methods

Dal 1990-07-01 al 1994-09-30

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Denmark

Obiettivo

Coordinatore

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

Partecipanti

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