Multi-level modeling for verification and synthesis of complex systems in a multi-physics context.
À l'ère de systèmes électroniques intégrés, les ingénieurs font face au défi de concevoir et de tester des systèmes hétérogènes contenant des parties analogiques, numériques, mécaniques et même du logiciel embarqué. Cela reste très difficile car il n'y a pas d'outil unifiant ces diffé...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015SUPL0019/document |