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 metadatas

https://hal.telecom-paris.fr/hal-02287828
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:24:07 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:54 PM

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

17