Skip to Main content Skip to Navigation
Conference papers

Logical-time contracts for reactive embedded components

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00293125
Contributor : Lionel Morel <>
Submitted on : Thursday, July 3, 2008 - 4:30:38 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM

Identifiers

Collections

Citation

Lionel Morel, Florence Maraninchi. Logical-time contracts for reactive embedded components. Euromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩. ⟨hal-00293125⟩

Share

Metrics

Record views

376