Community Research and Development Information Service - CORDIS

Tool-assisted Specification and Verification of JavaCard Programmes: VerifiCard

From 2001-01-01 to 2003-09-30 | VERIFICARD Website

Project details

Total cost:

EUR 3 476 694

EU contribution:

EUR 2 250 000

Coordinated in:

Netherlands

Funding scheme:

CSC - Cost-sharing contracts

Objective

Coordinator

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

Participants

AXALTO SA
France
AVENUE JEAN JAURES 50
92120 MONTROUGE
France
See on map
Administrative contact: 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
Administrative contact: 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
Administrative contact: 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
Administrative contact: Arnd POETZSCH-HEFFTER
Tel.: +63-12-052809
Fax: +63-12-053420
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Administrative contact: Tobias NIPKOW
Tel.: +49-89-28922690
Fax: +49-89-28928183
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top