Extension temps réel d'AltaRica
Ce travail s'inscrit dans la continuité de l'étude du langage de description de systèmes AltaRica. Ce langage, développé au Labri, permet de modéliser des systèmes réels de manière hiérarchique. L'objectif de la thèse est d'introduire le temps quantitatif dans le but de concevoir...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole centrale de nantes - ECN
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00006316 http://tel.archives-ouvertes.fr/docs/00/04/68/96/PDF/tel-00006316.pdf |