Community Research and Development Information Service - CORDIS

An Integrated Formal Approach to Industrial Software Development

From 1984-10-01 to 1989-10-01

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

Belgium

Objective

Coordinator

SEMA GROUP BELGIUM
Belgium
PLACE DU CHAMP DE MARS BP 40
1050 BRUXELLES
Belgium
Administrative contact: N/A

Participants

ATT TELECOMMUNICATION BEDR
Belgium
RUE DES DEUX GARES
1070 BRUSSELS
Belgium
See on map
Administrative contact: WAROQUIER
Tel.: +32-
Fax: +32-
Alcatel Alsthom Recherche
France
Route de Nozay
91460 Marcoussis
France
See on map
Administrative contact: N/A
COPS (EUROPE) LTD
Ireland
BALLSBRIDGE
X DUBLIN 4
Ireland
See on map
Administrative contact: N/A
CWI-CENTRUM VOOR WISKUNDE & INFORMATICA
Netherlands
KRUISLAAN 413 Postbus 4079
1098 SJ AMSTERDAM
Netherlands
See on map
Administrative contact: Jan Albert BERGSTRA
Tel.: +31-20-525791
Fax: +31-20-5257490
PHILIPS SA
Belgium
Belgium
Administrative contact: N/A
Philips GmbH
Germany
Theodor-Heuss-Allee 106
60486 Frankfurt am Main
Germany
See on map
Administrative contact: N/A
TXT Ingegneria Informatica SpA
Italy
Via Socrate 41
20128 Milano
Italy
See on map
Administrative contact: Alberto DAPRA
Tel.: +39-2-26000160
Fax: +39-2-2578994
UNIVERSITÄT PASSAU
Germany
DR HANS-KAPFINGER-STRAßE
94032 PASSAU
Germany
See on map
Administrative contact: Martin WIRSING
Tel.: +49-851-509345
Fax: +49-851-509497
Université de Paris XI (Université Paris-Sud)
France
Avenue Georges Clémenceau
91405 Orsay
France
See on map
Administrative contact: N/A
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top