Proof Automation and Certification Tools for ubiquitous larges-scale Envirenements

Contact : Sebastien.tixeuil (at) nulllip6.fr
Du 01/10/2009 au 31/12/2012

PACTOLE is a proposal for the DIM "logiciels et systèmes complexes" of région Ile de France.

IMDEA, Université Nancy 1, CNAM, LRI, ENSIIE
ANR

Sebastien TIXEUIL

Mentions légales
Carte du site