Test fonctionnel de propriétés hybrides
On nomme systèmes hybrides les systèmes qui intègrent des comportements continus et discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou leur interaction avec un environnement physique via l'utilisation de capteurs et d'actionneurs. Il peut s'agir...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013GRENM013/document |