Skip to Main content Skip to Navigation
Journal articles

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

Razika Lounas 1 Jean-Louis Lanet 2 Mohamed Mezghiche 1
1 LIMOSE - Laboratoire d’Informatique de Modélisation d’Optimisation et de Systèmes Electroniques [Boumerdes]
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Journal articles
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

Collections

CNRS | UNIV-RENNES1 | INRIA | IRISA | UR1-UFR-ISTIC | UNIV-RENNES | CENTRALESUPELEC | CHAIRE-CYBERSECURITE | INSA-RENNES

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

287

 

Contact                    Legal Notice                    Personal Data