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 ...
  • http://aurore.unilim.fr/theses/nxfile/default/463b4861-96a7-47d5-9dcd-22422b9d944e/blobholder:0/2018LIMO0085.pdf Attention, le lien semble brisé
  • https://tel.archives-ouvertes.fr/tel-01977915 Attention, le lien semble brisé
  • 1