thesis

Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B

Defense date:

Jan. 1, 2002

Edit

Institution:

Aix-Marseille 2

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.