Skip to Main content Skip to Navigation
Journal articles

Modélisation formelle pour l’ingénierie système

Sophie Coudert 1, 2 Dominique Legros
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Journal articles
Complete list of metadata

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

Identifiers

  • HAL Id : hal-02287828, version 1

Citation

Sophie Coudert, Dominique Legros. Modélisation formelle pour l’ingénierie système. Revue REE (Selection Journées scientifiques URSI 2017), 2017. ⟨hal-02287828⟩

Share

Metrics

Record views

32