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

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

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〉

Partager

Métriques

Consultations de la notice

116