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: | Carrillo Rozo, Oscar |
---|---|
Other Authors: | Besançon |
Language: | en |
Published: |
2015
|
Subjects: | |
Online Access: | http://www.theses.fr/2015BESA2017/document |
Similar Items
-
Combining SysML and SystemC to Simulate and Verify Complex Systems
by: Abdulhameed, Abbas Abdulazeez
Published: (2016) -
Supporting multidisciplinary analysis using system architectures in SysML
by: Branscomb, Jaclyn Marie
Published: (2013) -
Interactive SysML Diagrams using a Web Browser
by: Nilsson, Jesper
Published: (2020) -
Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development
by: Alai, Shashank P.
Published: (2019) -
Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development
by: Alai, Shashank P.
Published: (2019)