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 metadatas

https://hal.telecom-paristech.fr/hal-02286741
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:08:00 PM
Last modification on : Tuesday, November 5, 2019 - 9:32:04 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

8