Razika Lounas, Jean-Louis Lanet, Mohamed Mezghiche. A Formal Verification of Dynamic Updating in a Java-based embedded System.
International Journal of Critical Computer-Based Systems, Inderscience, In press, 7 (4),
⟨10.1504/ijccbs.2017.10011024⟩.
⟨hal-01645401⟩