22 novembre 2004
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.
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.