A Formal Verification of Dynamic Updating in a Java-based embedded System - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles International Journal of Critical Computer-Based Systems Year : 2017
No file

Dates and versions

hal-01645401 , version 1 (23-11-2017)

Identifiers

Cite

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⟩
140 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More