Article Dans Une Revue
International Journal of Critical Computer-Based Systems
Année : 2017
Jean-Louis Lanet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01645401
Soumis le : jeudi 23 novembre 2017-08:33:29
Dernière modification le : mercredi 25 octobre 2023-15:32:03
Citer
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, In press, 7 (4), ⟨10.1504/ijccbs.2017.10011024⟩. ⟨hal-01645401⟩
Collections
145
Consultations
0
Téléchargements