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

Secure and Safe Systems based on Static Analysis

De 2000-08-01 à 2003-10-31 | SECSAFE Site web

Détails concernant le projet

Coût total:

EUR 1 635 806

Contribution de l'UE:

EUR 1 102 000

Coordonné à/au(x)/en:

United Kingdom

Régime de financement:

CSC - Cost-sharing contracts

Objectif

Coordinateur

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
SOUTH KENSINGTON CAMPUS
SW7 2AZ LONDON
United Kingdom
See on map
Contact administratif: Christopher HANKIN
Tél.: +44-20-75948266
Fax: +44-20-75818024
E-mail

Participants

DANMARKS TEKNISKE UNIVERSITET
Denmark
ANKER ENGELUNDSVEJ 1, BYGNING 101A
2800 KGS. LYNGBY
Denmark
Contact administratif: Flemming NIELSON
Tél.: +45-253755
Fax: +45-930074
E-mail
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Contact administratif: Thomas JENSEN, (Head of Project Lande)
Tél.: +33-29-9847478
Fax: +33-29-9847171
E-mail
TRUSTED LOGIC
France
5, RUE DU BAILLIAGE
78000 VERSAILLES
France
See on map
Contact administratif: Daniel LE METAYER
Tél.: +33-13-0972514
Fax: +33-13-0972519
E-mail