Skip to Main content Skip to Navigation
Conference papers

Towards refinement types for time-dependent data-flow networks

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01241806
Contributor : Jean-Pierre Talpin <>
Submitted on : Friday, December 11, 2015 - 8:53:55 AM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM

Identifiers

  • HAL Id : hal-01241806, version 1

Citation

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. ⟨hal-01241806⟩

Share

Metrics

Record views

619