Community Research and Development Information Service - CORDIS

FP5

SYMBAD

Project ID: IST-2001-34607
Funded under

Formal verification in system level based design

From 2002-03-01 to 2004-10-31 | SYMBAD Website

Project details

Total cost:

EUR 2 498 693

EU contribution:

EUR 1 428 216

Coordinated in:

France

Objective

Coordinator

VALIOSYS
France
AVENUE DE CAMBRIDGE, 4
14200 HEROUVILLE SAINT CLAIR
France
See on map
Administrative contact: Jean Luc LAMBERT
Tel.: +33-23-1533000
Fax: +33-23-1533001
E-mail

Participants

INESC ID - INSTITUTO DE ENGENHARIA DE SISTEMAS E COMPUTADORES: INVESTIGACAO E DESENVOLVIMENTO EM LISBOA
Portugal
RUA DE ALVES REDOL 9
1000-02 LISBOA
Portugal
See on map
Administrative contact: Jo?o Paulo MARQUES DA SILVA
Tel.: +35-12-13100387
Fax: +35-12-13145843
E-mail
STMICROELECTRONICS S.R.L.
Italy
VIA OLIVETTI 2
20041 AGRATE BRIANZA
Italy
See on map
Administrative contact: Umberto ROSSI
Tel.: +39-03-96056240
Fax: +39-03-96055820
E-mail
UNIVERSITA DEGLI STUDI DI VERONA
Italy
VIA DELL' ARTIGLIERE 8
37129 VERONA
Italy
See on map
Administrative contact: Franco FUMMI
Tel.: +39-0458027994
Fax: +39-0458027068
E-mail
Record Number: 61527 / Last updated on: 2005-06-13
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top