Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Mathematical programming languages and formalisms for the specification and verification of parallel systems

Von 1994-10-01 bis 1995-11-30

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

EUR 50 000

Koordiniert in:

Italy

Ziel

Verwandte Informationen

Koordinator

Università degli Studi di Catania
Italy
Viale Andrea Doria 6
95125 Catania
Italy
See on map
Administrative Kontaktangaben: FERRO
Tel.: +39-95-221012
Fax: +39-95-330094

Teilnehmer

Inmos Ltd
United Kingdom
BS Bristol
United Kingdom
See on map
Administrative Kontaktangaben: KRYSIAK
Russian Academy of Sciences
Russia
152140 Pereslavl - Zalessky, Yaroslav Region
Russia
See on map
Administrative Kontaktangaben: ABRAMOV
Russian Academy of Sciences
Russia
101447 Moscow
Russia
See on map
Administrative Kontaktangaben: KLIMOV
UNIVERSITA DEGLI STUDI DI PISA
Italy
Corso Italia 40
56125 PISA
Italy
See on map
Administrative Kontaktangaben: BOERGER
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben