Méthodes probabilistes pour la vérification des systèmes distribués - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2004

Probabilistic methods for the verification of distributed systems

Méthodes probabilistes pour la vérification des systèmes distribués

Fichier principal
Vignette du fichier
Messika2004.pdf (1.6 Mo) Télécharger le fichier

Dates et versions

tel-00136083 , version 1 (12-03-2007)

Identifiants

  • HAL Id : tel-00136083 , version 1

Citer

Stéphane Messika. Méthodes probabilistes pour la vérification des systèmes distribués. Réseaux et télécommunications [cs.NI]. École normale supérieure de Cachan - ENS Cachan, 2004. Français. ⟨NNT : ⟩. ⟨tel-00136083⟩
391 Consultations
653 Téléchargements

Partager

Gmail Facebook X LinkedIn More