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

Alexandre Mouradian 1, * Isabelle Augé-Blum 1
* Corresponding author
1 URBANET - Réseaux capillaires urbains
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01005170
Contributor : Isabelle Augé-Blum <>
Submitted on : Thursday, June 12, 2014 - 10:16:31 AM
Last modification on : Tuesday, November 19, 2019 - 12:18:37 PM

Identifiers

  • 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. ⟨hal-01005170⟩

Share

Metrics

Record views

182