Formal and incremental verification of SysML for the design of component-based system
Vérification Formelle et Incrémentale de Spécifications SysML pour la Conception de Systèmes à Base de ComposantsLe travail présenté dans cette thèse est une contribution à la spécification et la vérification des Systèmes à Base de Composants (SBC) modélisé avec le langage SysML. Les SBC sont largem...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015BESA2017/document |