Méthodes et outils de la conception amont pour les systèmes et les microsystèmes
Ce travail de thèse porte sur l'élaboration de modèles de haut-niveau de systèmes pluridisciplinaires à base d'électronique. L'objectif est de réaliser des prototypes virtuels de ces systèmes et de vérifier formellement leur comportement dès les premières étapes du cycle de conception...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National Polytechnique de Toulouse - INPT
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00009523 http://tel.archives-ouvertes.fr/docs/00/04/81/46/PDF/tel-00009523.pdf |