HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

A Formal Verification of Dynamic Updating in a Java-based embedded System

Complete list of metadata

https://hal.inria.fr/hal-01645401
Contributor : Jean-Louis Lanet Connect in order to contact the contributor
Submitted on : Thursday, November 23, 2017 - 8:33:29 AM
Last modification on : Monday, April 4, 2022 - 9:28:22 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

136