Team oasis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2002
Project: oasis
>div id="head_adroite">

Project : oasis

Section: Other Grants and Activities


Actions européennes

Verificard

Participant : Eric Madelaine.

Eric Madelaine participe aux travaux du projet Verificard sur la modélisation et vérification de la plate-forme et des programmes Javacard. Les partenaires sont, en dehors de l'INRIA : GemPlus, Bull, Universités de Nimegue, Munich, Hagen, Sics (voir http://www.verificard.com/).


previous
next