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

Participants

CERN
France
Site de Prévessin
01631 Prevessin
France
See on map
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
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
Lloyds Register of Shipping
United Kingdom
29 Wellesley Road
CR0 2AJ Croydon
United Kingdom
See on map
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