Vérification de propriétés de programmes flots de données synchrones
Dans le cadre de cette thèse, nous nous intéressons à la vérification de systèmes réactifs critiques et temps réel développés a l'aide de langages flots de données synchrones. Plus particulièrement nous avons considéré les propriétés de sureté pour les applications réalisées dans un des deux la...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1989
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00335630 http://tel.archives-ouvertes.fr/docs/00/33/56/30/PDF/Glory.Anne-Cecile_1989_these.pdf |