Spécification et validation de systèmes en Xesar - TEL - Thèses en ligne Access content directly
Theses Year : 1988

Specification and validation of systems in Xesar

Spécification et validation de systèmes en Xesar

Abstract

Étude de méthodes de spécification et vérification des protocoles de communication. La méthode de vérification mise en œuvre consiste a évaluer les spécifications du protocole sur un modèle fini qui le représente. Le langage de spécification est basé sur un mu calcul permettant l'expression aussi bien de comportements que de propriétés
Fichier principal
Vignette du fichier
Rodriguez.Carlos_1988_these.pdf (8.53 Mo) Télécharger le fichier

Dates and versions

tel-00326427 , version 1 (03-10-2008)

Identifiers

  • HAL Id : tel-00326427 , version 1

Cite

Carlos Rodriguez. Spécification et validation de systèmes en Xesar. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1988. Français. ⟨NNT : ⟩. ⟨tel-00326427⟩

Collections

UGA CNRS
109 View
84 Download

Share

Gmail Facebook X LinkedIn More