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

FP5

VERIMUCH

Project ID: IST-2000-28630
Financé au titre de

Verification of Microelectronics Systems Using Logic Compiler Technology

De 2001-07-01 à 2002-06-30

Détails concernant le projet

Coût total:

EUR 663 379

Contribution de l'UE:

EUR 468 300

Coordonné à/au(x)/en:

France

Régime de financement:

ACM - Preparatory, accompanying and support measures

Objectif

Coordinateur

CROUZET AUTOMATISMES
France
RUE DU DOCTEUR ABEL 2
26000 VALENCE
France
See on map
Contact administratif: Alain CHATENAY
Tél.: +33-13-9456506
Fax: +33-13-9656515
E-mail

Participants

FORSCHUNGSZENTRUM INFORMATIK AN DER UNIVERSITAET KARLSRUHE
Germany
HAID-UND-NEU-STRASSE 10-14
76131 KARLSRUHE
Germany
See on map
Contact administratif: Guenter SCHUMACHER
Tél.: +49-72-19654310
Fax: +49-72-19654309
E-mail
INSTITUT NATIONAL DE RECHERCHE ET DE SECURITE
France
30 RUE OLIVIER NOYER
75680 PARIS 14
France
See on map
Contact administratif: Philippe CHARPENTIER
Tél.: +33-38-3502168
Fax: +33-38-3502115
E-mail
NON STANDARD LOGICS LIMITED
United Kingdom
200 WEST END LANE
NW6 1SG WEST HAMPSTEAD (LONDON)
United Kingdom
See on map
Contact administratif: Giovanni BREVIARIO
Tél.: +44-20-74311623
Fax: +44-87-00529181
E-mail
UNIVERSITAET KARLSRUHE - INSTITUT FUER ANGEWANDTE MATHEMATIK
Germany
KAISERSTRASSE 12
76128 KARLSRUHE
Germany
See on map
Contact administratif: Edgar KAUCHER
Tél.: +49-72-16084343
Fax: +49-72-16087669
E-mail