Exécution symbolique pour le test de conformité et le test de raffinement
Les travaux présentés dans cette thèse se situent dans le cadre du domaine du test des systèmes réactifs. Nous avons appliqué la technique d'analyse de l'exécution symbolique pour le test de conformité et le test de raffinement. Les systèmes étudiés sont modélisés par des IOSTS. Pour vérif...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2006EVRY0029 |