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

Alexandre Mouradian; Isabelle Augé-Blum

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

Alexandre Mouradian ^{1, *} Isabelle Augé-Blum ¹

* 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

Domain :

Computer Science [cs] / Networking and Internet Architecture [cs.NI]

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

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

Identifiers

Collections

Citation

Export

Metrics

182

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

182

Contact