Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.
CRiSIS 2016 - The 11th International Conference on Risks and Security of Internet and Systems , Telecom Bretagne, Sep 2016, Roscoff, France.
⟨hal-01405467⟩