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

Applying Formal Methods to Real-Size Object-Oriented Designs in Technical Environments

Dal 1992-09-01 al 1995-08-31

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Netherlands

Obiettivo

Coordinatore

CAP GEMINI INTERNATIONAL SUPPORT
Netherlands
BURGEMEESTER ELSENLAAN, 170, 3027
2280 GA RIJSWIJK
Netherlands
See on map
Contatto amministrativo: N/A

Partecipanti

CERN
France
Site de Prévessin
01631 Prevessin
France
See on map
Contatto amministrativo: BOCK
Tel.: +33-50406668
Fax: +33-
Defence Research Agency (DRA)
United Kingdom
St Andrews Road
WR14 3PS Malvern
United Kingdom
See on map
Contatto amministrativo: Michael HILL
Tel.: +44-684-894331
Fax: +44-684-894540
HELLENIC INFORMATION TECHNOLOGIES AND ENGINEERING COMPANY S.A.
Greece
ANDROUTSOU, 4
174 55 ALINOS
Greece
See on map
Contatto amministrativo: N/A
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contatto amministrativo: Thomas Stephen Edward MAIBAUM
Tel.: +44-71- 5895111
Fax: +44-71-5818024
E-mail
Instituttet for Anvendt Datateknik /Ifad
Denmark
Forskerparken 10
5230 Odense M
Denmark
See on map
Contatto amministrativo: N/A
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
Contatto amministrativo: SHAW
Tel.: +44-81-6814818
Fax: +44-81-6816814
TECHNISCHE UNIVERSITEIT DELFT
Netherlands
LANDBERGSTRAAT, 35
2628 CE DELFT
Netherlands
See on map
Contatto amministrativo: Jan VAN KATWIJK
Tel.: +31-15-786411
Fax: +31-15-787022
UNIVERSITEIT VAN UTRECHT
Netherlands
PRINCETONPLEINWEG 5, 80000
3508 TA UTRECHT
Netherlands
Contatto amministrativo: Wim LOURENS
Tel.: +31-30-533905
Fax: +31-30-537555
E-mail
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contatto amministrativo: Richard MOORE
Tel.: +44-61-2756273
Fax: +44-61-2756236