Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up - Centre of Innovation in Telecommunications and Integration of services Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Fichier non déposé

Dates et versions

hal-01005170 , version 1 (12-06-2014)

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⟩
83 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More