CLEARSY a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence Same 2005 et annonce dès aujourd’hui […]

L’équipe EVEREST de l’INRIA a développé un modèle formel B de la spécification Globalplatform. Ce modèle est téléchargeable.