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-paristech.fr/hal-02287828
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:24:07 PM
Last modification on : Saturday, December 21, 2019 - 1:13:01 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

9