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
Type de document :
Article dans une revue
International Journal of Critical Computer-Based Systems, Inderscience, In press
Liste complète des métadonnées
https://hal.inria.fr/hal-01645401
Contributeur : Jean-Louis Lanet <>
Soumis le : jeudi 23 novembre 2017 - 08:33:29
Dernière modification le : jeudi 12 avril 2018 - 01:58:42

Identifiants

  • HAL Id : hal-01645401, version 1

Collections

INRIA | IRISA | INRIA2017 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE | CENTRALESUPELEC | CHAIRE-CYBERSECURITE

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. 〈hal-01645401〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

116

Contact


archive-ouverte@inria.fr