Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

VERIFICARD

Project ID: IST-2000-26328
Financiado con arreglo a

Tool-assisted Specification and Verification of JavaCard Programmes: VerifiCard

Desde 2001-01-01 hasta 2003-09-30 | VERIFICARD Sitio web

Detalles del proyecto

Coste total:

EUR 3 476 694

Aportación de la UE:

EUR 2 250 000

Coordinado en:

Netherlands

Régimen de financiación:

CSC - Cost-sharing contracts

Objetivo

Coordinador

STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Contacto administrativo: Bart P.f. JACOBS
Tel.: +31-24-3652236
Fax: +31-24-3653137
Correo electrónico

Participantes

AXALTO SA
France
AVENUE JEAN JAURES 50
92120 MONTROUGE
France
See on map
Contacto administrativo: Christian GOIRE
Tel.: +33-13-9664604
Fax: +33-13-9664402
Correo electrónico
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Contacto administrativo: Gilles BARTHE
Tel.: +33-04-92387938
Fax: +33-04-92387644
Correo electrónico
SICS, SWEDISH INSTITUTE OF COMPUTER SCIENCE AB
Sweden
ISAFJORDSGATAN 22
164 29 KISTA
Sweden
See on map
Contacto administrativo: Mads DAM
Tel.: +87-52-1549
Fax: +87-51-7230
Correo electrónico
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
GOTTLIEB-DAIMLER-STRASSE
67663 KAISERSLAUTERN
Germany
See on map
Contacto administrativo: Arnd POETZSCH-HEFFTER
Tel.: +63-12-052809
Fax: +63-12-053420
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Contacto administrativo: Tobias NIPKOW
Tel.: +49-89-28922690
Fax: +49-89-28928183
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba