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

FP5

VERIFICARD

Project ID: IST-2000-26328
Finanziato nell'ambito di

Tool-assisted Specification and Verification of JavaCard Programmes: VerifiCard

Dal 2001-01-01 al 2003-09-30 | VERIFICARD Sito web

Dettagli del progetto

Costo totale:

EUR 3 476 694

Contributo UE:

EUR 2 250 000

Coordinato in:

Netherlands

Meccanismo di finanziamento:

CSC - Cost-sharing contracts

Obiettivo

Coordinatore

STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Contatto amministrativo: Bart P.f. JACOBS
Tel.: +31-24-3652236
Fax: +31-24-3653137
E-mail

Partecipanti

AXALTO SA
France
AVENUE JEAN JAURES 50
92120 MONTROUGE
France
See on map
Contatto amministrativo: Christian GOIRE
Tel.: +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
Contatto amministrativo: Gilles BARTHE
Tel.: +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
Contatto amministrativo: Mads DAM
Tel.: +87-52-1549
Fax: +87-51-7230
E-mail
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
GOTTLIEB-DAIMLER-STRASSE
67663 KAISERSLAUTERN
Germany
See on map
Contatto amministrativo: Arnd POETZSCH-HEFFTER
Tel.: +63-12-052809
Fax: +63-12-053420
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Contatto amministrativo: Tobias NIPKOW
Tel.: +49-89-28922690
Fax: +49-89-28928183
E-mail