Communication Dans Un Congrès
Année : 2014
Isabelle Augé-Blum : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01005170
Soumis le : jeudi 12 juin 2014-10:16:31
Dernière modification le : mercredi 15 mars 2023-08:53:38
Dates et versions
Identifiants
- HAL Id : hal-01005170 , version 1
Citer
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
Consultations
0
Téléchargements