A formal verification of safe update point detection in dynamic software updating

	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

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	Taille	Format
Razika Lounas, Résumé.pdf		25,99 kB	Adobe PDF	Voir/Ouvrir

Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires