Cléo : diagnostic des erreurs en Xesar
Ce travail a pour objet l'étude de méthodes de diagnostic d'erreurs de systèmes parallèles communicants, pour des spécifications exprimées dans une logique temporelle arborescente. Sa motivation est l'élaboration de diagnostics d'erreurs détectées par Xesar, outil de vérification...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1990
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00337847 http://tel.archives-ouvertes.fr/docs/00/33/78/47/PDF/Rasse.Anne_1990_these.pdf |