Skip to Main content Skip to Navigation
Conference papers

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 : Wednesday, July 8, 2020 - 12:43:15 PM

Identifiers

  • HAL Id : hal-01005170, version 1

Collections

INRIA | INSA-LYON | LABEXIMU | CITI | INSA-GROUPE | UDL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

200

 

Contact                    Legal Notice                    Personal Data