DSpace À propos de l'application DSpace
 

Recherche avancée
Accueil
 
Parcourir le dépôt par :
Communautés et collections
Issue Date
Author
Title
Subject
 
Services personnalisés :
Recevoir les nouveautés
Espace personnel
utilisateurs autorisés
Modifier mon profil
 
À propos de DSpace

Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Publications Internationales >

Veuillez utiliser cette adresse pour citer ce document : http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/3386

Titre: A formal verification of safe update point detection in dynamic software updating
Auteur(s): Lounas, Razika
Jafri, Nisrine
Legay, Axel
Mezghiche, Mohamed
Lanet, Jean-Louis
Mots-clés: Dynamic Software Updating
Safe update point
Model checking
Update safety
Date de publication: 2017
Editeur: Springer
Collection/Numéro: Lecture Notes in Computer Science (LNCS)/ Vol. 10158 (2017);pp. 31-45
URI/URL: http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/3386
Collection(s) :Publications Internationales

Fichier(s) constituant ce document :

Fichier Description TailleFormat
Razika Lounas, Résumé.pdf25,99 kBAdobe PDFVoir/Ouvrir
View Statistics

Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.

 
Valid XHTML 1.0! Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires