Par auteur
Vous êtes ici
Thèses de doctorat
Par auteur
L
Lounas Razika
Recherche en cours
Par auteur
=
Lounas Razika
1
ressource a été trouvée.
Trier par :
Titre
année de soutenance
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 ...
https://tel.archives-ouvertes.fr/tel-01977915
https://aurore.unilim.fr/theses/nxfile/default/463b4861-96a7-47d5-9dcd-22422b9d944e/blobholder:0/2018LIMO0085.pdf
1