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 : Thursday, October 17, 2019 - 12:37:00 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

4