Adaptation of SysML Blocks and Verification of Temporal Properties
Le travail présenté dans cette thèse a lieu dans le domaine de développement basé sur les composants, il est une contribution à laspécification, l'adaptation et la vérification des systèmes à base de composants. Le but principal de cette thèse est la proposition d'uneapproche formelle pour...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016BESA2015/document |