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

FP5

VERIFICARD

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

Tool-assisted Specification and Verification of JavaCard Programmes: VerifiCard

De 2001-01-01 à 2003-09-30 | VERIFICARD Site web

Détails concernant le projet

Coût total:

EUR 3 476 694

Contribution de l'UE:

EUR 2 250 000

Coordonné à/au(x)/en:

Netherlands

Régime de financement:

CSC - Cost-sharing contracts

Objectif

Coordinateur

STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Contact administratif: Bart P.f. JACOBS
Tél.: +31-24-3652236
Fax: +31-24-3653137
E-mail

Participants

AXALTO SA
France
AVENUE JEAN JAURES 50
92120 MONTROUGE
France
See on map
Contact administratif: Christian GOIRE
Tél.: +33-13-9664604
Fax: +33-13-9664402
E-mail
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Contact administratif: Gilles BARTHE
Tél.: +33-04-92387938
Fax: +33-04-92387644
E-mail
SICS, SWEDISH INSTITUTE OF COMPUTER SCIENCE AB
Sweden
ISAFJORDSGATAN 22
164 29 KISTA
Sweden
See on map
Contact administratif: Mads DAM
Tél.: +87-52-1549
Fax: +87-51-7230
E-mail
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
GOTTLIEB-DAIMLER-STRASSE
67663 KAISERSLAUTERN
Germany
See on map
Contact administratif: Arnd POETZSCH-HEFFTER
Tél.: +63-12-052809
Fax: +63-12-053420
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Contact administratif: Tobias NIPKOW
Tél.: +49-89-28922690
Fax: +49-89-28928183
E-mail