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

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〉

Partager

Métriques

Consultations de la notice

151