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 <>
Submitted on : Thursday, November 23, 2017 - 8:33:29 AM
Last modification on : Thursday, January 7, 2021 - 4:31:31 PM

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

287