Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Correct Hardware Design Methodology: Towards Formal Design and Verification for Provably Correct VLSI Hardware

Od 1989-07-01 do 1992-02-29

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Belgium

Cel

Koordynator

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium
KAPELDREEF, 75
3030 HEVERLEE
Belgium
See on map
Kontakt administracyjny: Luc CLAESEN
Tel.: +32-16-281203
Faks: +32-16-281515
Adres e-mail

Uczestnicy

POLITECNICO DI TORINO
Italy
CORSO DUCA DEGLI ABRUZZI 24
10129 TORINO
Italy
See on map
Kontakt administracyjny: Paolo PRINETTO
Tel.: +39-11-5647007
Faks: +39-11-5647099
Adres e-mail
Technische Hochschule Darmstadt
Germany
Merkstraße 25
64283 Darmstadt
Germany
See on map
Kontakt administracyjny: Hans EVEKING
Tel.: +49-69-7988149
Faks: +49-69-7988353
UNIVERSITY OF STRATHCLYDE
United Kingdom
16 RICHMOND STREET
G1 IXQ GLASGOW
United Kingdom
See on map
Kontakt administracyjny: George MILNE
Tel.: +44-41 5524400
Faks: +44-41-5525330
Adres e-mail
Université d'Aix-Marseille I (Université de Provence)
France
3 place Victor Hugo
13331 Marseille
France
See on map
Kontakt administracyjny: Dominique BORRIONE
Tel.: +33-76514304
Faks: +33-76638423
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę