Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Large-Scale Correct Systems Using Formal Methods

Desde 1990-07-01 hasta 1994-09-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Denmark

Objetivo

Coordinador

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

Participantes

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