Lounas, RazikaJafri, NisrineLegay, AxelMezghiche, MohamedLanet, Jean-Louis2017-04-042017-04-042017https://dspace.univ-boumerdes.dz/handle/123456789/3386enDynamic Software UpdatingSafe update pointModel checkingUpdate safetyA formal verification of safe update point detection in dynamic software updatingArticle