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/).