Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up

Alexandre Mouradian 1, * Isabelle Augé-Blum 1
* Auteur correspondant
1 URBANET - Réseaux capillaires urbains
CITI - CITI Centre of Innovation in Telecommunications and Integration of services, Inria Grenoble - Rhône-Alpes
Type de document :
Communication dans un congrès
ECRTS - Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain. 2014
Liste complète des métadonnées
https://hal.inria.fr/hal-01005170
Contributeur : Isabelle Augé-Blum <>
Soumis le : jeudi 12 juin 2014 - 10:16:31
Dernière modification le : vendredi 31 août 2018 - 12:45:31

Identifiants

  • HAL Id : hal-01005170, version 1

Collections

INRIA | INSA-LYON | LABEXIMU

Citation

Alexandre Mouradian, Isabelle Augé-Blum. Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up. ECRTS - Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain. 2014. 〈hal-01005170〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

151

Contact


archive-ouverte@inria.fr