Return to search

Spécification et validation de systèmes en Xesar

É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

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00326427
Date27 May 1988
CreatorsRodriguez, Carlos
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds