Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Verification of Microelectronics Systems Using Logic Compiler Technology

Von 2001-07-01 bis 2002-06-30

Projektdetails

Gesamtkosten:

EUR 663 379

EU-Beitrag:

EUR 468 300

Koordiniert in:

France

Finanzierungsprogramm:

ACM - Preparatory, accompanying and support measures

Ziel

Koordinator

CROUZET AUTOMATISMES
France
RUE DU DOCTEUR ABEL 2
26000 VALENCE
France
See on map
Administrative Kontaktangaben: Alain CHATENAY
Tel.: +33-13-9456506
Fax: +33-13-9656515
E-Mail-Adresse

Teilnehmer

FORSCHUNGSZENTRUM INFORMATIK AN DER UNIVERSITAET KARLSRUHE
Germany
HAID-UND-NEU-STRASSE 10-14
76131 KARLSRUHE
Germany
See on map
Administrative Kontaktangaben: Guenter SCHUMACHER
Tel.: +49-72-19654310
Fax: +49-72-19654309
E-Mail-Adresse
INSTITUT NATIONAL DE RECHERCHE ET DE SECURITE
France
30 RUE OLIVIER NOYER
75680 PARIS 14
France
See on map
Administrative Kontaktangaben: Philippe CHARPENTIER
Tel.: +33-38-3502168
Fax: +33-38-3502115
E-Mail-Adresse
NON STANDARD LOGICS LIMITED
United Kingdom
200 WEST END LANE
NW6 1SG WEST HAMPSTEAD (LONDON)
United Kingdom
See on map
Administrative Kontaktangaben: Giovanni BREVIARIO
Tel.: +44-20-74311623
Fax: +44-87-00529181
E-Mail-Adresse
UNIVERSITAET KARLSRUHE - INSTITUT FUER ANGEWANDTE MATHEMATIK
Germany
KAISERSTRASSE 12
76128 KARLSRUHE
Germany
See on map
Administrative Kontaktangaben: Edgar KAUCHER
Tel.: +49-72-16084343
Fax: +49-72-16087669
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben