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

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

De 1992-09-01 à 1995-08-31

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Netherlands

Objectif

Coordinateur

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

Participants

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