6 : Vérification d'exigences d'un modèle 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-02286565
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:54:35 PM
Last modification on : Thursday, October 17, 2019 - 12:37:00 PM

Identifiers

  • HAL Id : hal-02286565, version 1

Citation

Ludovic Apvrille, Pierre de Saqui-Sannes. 6 : Vérification d'exigences d'un modèle SysML. Modélisation et analyse de systèmes embarqués, Lavoisier, Hermès Sciences, 2013. ⟨hal-02286565⟩

Share

Metrics

Record views

4