Conference Papers
Year : 2014
Isabelle Augé-Blum : Connect in order to contact the contributor
https://inria.hal.science/hal-01005170
Submitted on : Thursday, June 12, 2014-10:16:31 AM
Last modification on : Wednesday, March 15, 2023-8:53:38 AM
Dates and versions
Identifiers
- HAL Id : hal-01005170 , version 1
Cite
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⟩
93
View
0
Download