Vérifications d'exclusions mutuelles par analyse statique de modèles SysML

Ludovic Apvrille; Pierre de Saqui-Sannes

Journal Articles Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Year : 2013

Vérifications d'exclusions mutuelles par analyse statique de modèles SysML

(1, 2) ,

1
2

Ludovic Apvrille

Function : Author
PersonId : 178690
IdHAL : ludovic-apvrille
ORCID : 0000-0002-1167-4639
IdRef : 061781614

System on Chip

Département Communications & Electronique

Pierre de Saqui-Sannes

Function : Author
PersonId : 757340
ORCID : 0000-0002-1404-0148
IdRef : 115940820

Domains

Computer Science [cs] Modeling and Simulation Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Formal Languages and Automata Theory [cs.FL] Computer Science [cs] Embedded Systems Computer Science [cs] Computer Aided Engineering Computer Science [cs] Symbolic Computation [cs.SC] Computer Science [cs] Programming Languages [cs.PL] Engineering Sciences [physics] Electronics

TelecomParis HAL : Connect in order to contact the contributor

https://hal.telecom-paris.fr/hal-02286741

Submitted on : Friday, September 13, 2019-4:08:00 PM

Last modification on : Tuesday, February 28, 2023-3:36:25 PM

Dates and versions

hal-02286741 , version 1 (13-09-2019)

Identifiers

HAL Id : hal-02286741 , version 1

Cite

Ludovic Apvrille, Pierre de Saqui-Sannes. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.40-44. ⟨hal-02286741⟩

Vérifications d'exclusions mutuelles par analyse statique de modèles SysML

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share