1 ressource a été trouvée.
Affichage de
résultats par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card Droits d'accès : non autorisé
année de soutenance : 2018
auteur : Lounas Razika
laboratoire : XLIM
thème : Informatique
Description : La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité. Le but de notre travail est d'effectuer la vérification ...