Modélisations et analyses de réseaux de capteurs - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

Modeling and Analysis of Sensor Networks

Modélisations et analyses de réseaux de capteurs

Ludovic Samper
  • Fonction : Auteur
  • PersonId : 849445

Résumé

Global modeling of energy consumption in sensor networks (including the hardware, the protocols, the application, and the physical environment).
Application of formal validation methods to sensor networks.
Case study from the projet ANR ARESA
Modélisation globale de l'énergie dans les réseaux de capteurs (incluant le matériel, les couches protocolaires, l'application, et l'environnement physique).
Application de méthodes de validation formelle au cas des réseaux de capteurs.
Etude de cas du projet ANR ARESA.
Fichier principal
Vignette du fichier
samper.pdf (2.64 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00283716 , version 1 (30-05-2008)

Identifiants

  • HAL Id : tel-00283716 , version 1

Citer

Ludovic Samper. Modélisations et analyses de réseaux de capteurs. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩. ⟨tel-00283716⟩
217 Consultations
3095 Téléchargements

Partager

Gmail Facebook X LinkedIn More