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

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

De 1989-07-01 à 1992-02-29

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Belgium

Objectif

Coordinateur

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium
KAPELDREEF, 75
3030 HEVERLEE
Belgium
See on map
Contact administratif: Luc CLAESEN
Tél.: +32-16-281203
Fax: +32-16-281515
E-mail

Participants

POLITECNICO DI TORINO
Italy
CORSO DUCA DEGLI ABRUZZI 24
10129 TORINO
Italy
See on map
Contact administratif: Paolo PRINETTO
Tél.: +39-11-5647007
Fax: +39-11-5647099
E-mail
Technische Hochschule Darmstadt
Germany
Merkstraße 25
64283 Darmstadt
Germany
See on map
Contact administratif: Hans EVEKING
Tél.: +49-69-7988149
Fax: +49-69-7988353
UNIVERSITY OF STRATHCLYDE
United Kingdom
16 RICHMOND STREET
G1 IXQ GLASGOW
United Kingdom
See on map
Contact administratif: George MILNE
Tél.: +44-41 5524400
Fax: +44-41-5525330
E-mail
Université d'Aix-Marseille I (Université de Provence)
France
3 place Victor Hugo
13331 Marseille
France
See on map
Contact administratif: Dominique BORRIONE
Tél.: +33-76514304
Fax: +33-76638423
E-mail