Adaptation of SysML Blocks and Verification of Temporal Properties Hamida Bouaziz
To cite this version:
Hamida Bouaziz. Adaptation of SysML Blocks and Verification of Temporal Properties. Other [cs.OH]. Université de Franche-Comté, 2016. English. NNT : 2016BESA2015. tel-01428887
HAL Id: tel-01428887 https://tel.archives-ouvertes.fr/tel-01428887 Submitted on 6 Jan 2017
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ; /9=!9=7:"3:#3
é c o l e d o c t o r a l e s c i e n c e s p o u r l ’ i n g é n i e u r e t m i c r o t e c h n i q u e s % 0 2 $ < 1 & 2 ; 6 = 7 < = * 1 + 0 8 ) < , 8 ' ( ; 6
Adaptation of SysML Blocks and Verification of Temporal Properties