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

Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems

De 1984-09-01 à 1989-09-01

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Germany

Objectif

Coordinateur

Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
5205 SANKT AUGUSTIN
Germany
See on map
Contact administratif: Wolf ITZFELDT
Tél.: +49-2241-142414
Fax: +49-2241-142618

Participants

Ingegneria C. Olivetti and C. SpA
Italy
Via Palestro 30
56100 Pisa
Italy
See on map
Contact administratif: Massimo BOLOGNA
Tél.: +39-50-501202
Fax: +39-50-500181
Siemens Nixdorf Informationssysteme AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Tecsiel SpA
Italy
Via Santa Maria 19
56100 Pisa
Italy
See on map
Contact administratif: Piero TORRIGIANI
Tél.: +39-50-502502
Fax: +39-50-502758