Par établissement

Vous êtes ici

  2. Thèses de doctorat
  3. Par établissement
  4. U
  5. Université M'hamed Bougara de Boumerdès (Algérie)

Recherche en cours

Par établissement = Université M'hamed Bougara de Boumerdès (Algérie)
1 ressource a été trouvée.
Trier par : année de soutenance Titre auteur
Affichage de
résultats par page
  • 1
  • 1
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 ...
bibip:
bip: false
  • https://www.theses.fr/2018LIMO0085/abes
  • https://theses.hal.science/tel-01977915
  • 1