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 aus...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1988
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00326427 http://tel.archives-ouvertes.fr/docs/00/32/64/27/PDF/Rodriguez.Carlos_1988_these.pdf |