Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil
Les RCsF sont des réseaux ad hoc, sans fil, large échelle déployés pour mesurer des paramètres de l'environnement et remonter les informations à un ou plusieurs emplacements (nommés puits). Les éléments qui composent le réseau sont de petits équipements électroniques qui ont de faibles capacité...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
INSA de Lyon
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00910394 http://tel.archives-ouvertes.fr/docs/01/01/58/23/PDF/these.pdf |