Conference Papers
Year : 2015
Jean-Pierre Talpin : Connect in order to contact the contributor
https://inria.hal.science/hal-01241806
Submitted on : Friday, December 11, 2015-8:53:55 AM
Last modification on : Friday, March 24, 2023-2:53:01 PM
Dates and versions
Identifiers
- HAL Id : hal-01241806 , version 1
Cite
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⟩
Collections
179
View
0
Download