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

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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Document type :
Journal articles
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

Collections

CNRS | UNIV-RENNES1 | INRIA | IRISA | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | CENTRALESUPELEC | CHAIRE-CYBERSECURITE | INSA-RENNES | UR1-MATH-NUM | INRIA2

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 Datacite

Share

Metrics

Record views

136

 

Contact                    Legal Notice                    Personal Data