Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems

Desde 1992-09-01 hasta 1995-08-31

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Belgium

Objetivo

Coordinador

Interuniversitair Mikroelektronica Centrum
Belgium
Kapeldreef 75
3030 Heverlee
Belgium
See on map
Contacto administrativo: Luc CLAESEN
Tel.: +32-16-281203
Fax: +32-16-281515
Correo electrónico

Participantes

JOHANN WOLFGANG GOETHE UNIVERSITAET FRANKFURT
Germany
Robert-Mayer strasse 8-10
60325 Frankfurt-am-Main
Germany
See on map
Contacto administrativo: Hans EVEKING
Tel.: +49-69-7988149
Fax: +49-69-7988353
POLITECNICO DI TORINO
Italy
CORSO DUCA DEGLI ABRUZZI 24
10129 TORINO
Italy
See on map
Contacto administrativo: Paolo PRINETTO
Tel.: +39-11-5647007
Fax: +39-11-5647099
Correo electrónico
UNIVERSITY OF STRATHCLYDE
United Kingdom
16 RICHMOND STREET
G1 IXQ GLASGOW
United Kingdom
See on map
Contacto administrativo: George MILNE
Tel.: +44-41 5524400
Fax: +44-41-5525330
Correo electrónico
Université d'Aix-Marseille I (Université de Provence)
France
3 place Victor Hugo
13331 Marseille
France
See on map
Contacto administrativo: Laurence PIERRE
Tel.: +33-91508004
Fax: +33-91846639
Correo electrónico
Université de Grenoble I (Université Joseph Fourier)
France
385 avenue de la Bibliothèque
38041 Grenoble
France
See on map
Contacto administrativo: Dominique BORRIONE
Tel.: +33-76514304
Fax: +33-76638423
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba