Skip to Main content Skip to Navigation
Journal articles

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

Ludovic Apvrille 1, 2 Pierre de Saqui-Sannes
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Complete list of metadata

https://hal.telecom-paris.fr/hal-02286741
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:08:00 PM
Last modification on : Tuesday, October 19, 2021 - 11:15:20 AM

Identifiers

  • HAL Id : hal-02286741, version 1
`

Citation

Ludovic Apvrille, Pierre de Saqui-Sannes. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. Revue Génie Logiciel, 2013, 105, pp.40-44. ⟨hal-02286741⟩

Share

Metrics

Record views

50