Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

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

Dal 1984-09-01 al 1989-09-01

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Germany

Obiettivo

Coordinatore

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

Partecipanti

Ingegneria C. Olivetti and C. SpA
Italy
Via Palestro 30
56100 Pisa
Italy
See on map
Contatto amministrativo: 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
Tecsiel SpA
Italy
Via Santa Maria 19
56100 Pisa
Italy
See on map
Contatto amministrativo: Piero TORRIGIANI
Tel.: +39-50-502502
Fax: +39-50-502758