Modeling and testing of component-based systems
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d’une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation...
Main Author: | |
---|---|
Other Authors: | |
Language: | en fr |
Published: |
2011
|
Subjects: | |
Online Access: | http://www.theses.fr/2011ECAP0050/document |