Community Research and Development Information Service - CORDIS

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

From 1984-09-01 to 1989-09-01

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

Germany

Objective

Coordinator

Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
5205 SANKT AUGUSTIN
Germany
See on map
Administrative contact: Wolf ITZFELDT
Tel.: +49-2241-142414
Fax: +49-2241-142618

Participants

Ingegneria C. Olivetti and C. SpA
Italy
Via Palestro 30
56100 Pisa
Italy
See on map
Administrative contact: Massimo BOLOGNA
Tel.: +39-50-501202
Fax: +39-50-500181
Siemens Nixdorf Informationssysteme AG
Germany
Otto-Hahn-Ring 6
81739 München
Germany
See on map
Administrative contact: DEHM
Tel.: +49-89-63644219
Fax: +49-
Tecsiel SpA
Italy
Via Santa Maria 19
56100 Pisa
Italy
See on map
Administrative contact: Piero TORRIGIANI
Tel.: +39-50-502502
Fax: +39-50-502758
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top