Par établissement
Vous êtes ici
Thèses de doctorat
Par établissement
U
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
10
20
30
40
50
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
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 ...
bip-thesis_display:thesis_display - noembargo - internet - false -
https://www.theses.fr/2018LIMO0085/abes
https://tel.archives-ouvertes.fr/tel-01977915
1