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

Higher-Order Logic-Supported Design for Complex Data-Processing Systems

Dal 1989-08-01 al 1992-03-31

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Belgium

Obiettivo

Coordinatore

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium
KAPELDREEF, 75
3030 HEVERLEE
Belgium
See on map
Contatto amministrativo: Luc CLAESEN
Tel.: +32-16-281203
Fax: +32-16-281515
E-mail

Partecipanti

NEDERLANDSE PHILIPS BEDRIJVEN BV
Netherlands
PROF. HOLSTLAAN, 4
5656 AA EINDHOVEN
Netherlands
See on map
Contatto amministrativo: KALKER
Tel.: +31-40-744087
Fax: +31-40-743783
University of Cambridge
United Kingdom
New Museums Site Pembroke Street
CB2 3QG Cambridge
United Kingdom
See on map
Contatto amministrativo: Michael GORDON
Tel.: +44-223-334627
Fax: +44-223-334678
E-mail