A global constraint for over-approximation of real-time streams

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01555777
Contributor : Anicet Bart <>
Submitted on : Tuesday, July 4, 2017 - 2:03:03 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

Identifiers

Citation

Anicet Bart, Charlotte Truchet, Eric Monfroy. A global constraint for over-approximation of real-time streams. Constraints, Springer Verlag, 2017, 22 (3), pp.463 - 490. ⟨10.1007/s10601-017-9268-z⟩. ⟨hal-01555777⟩

Share

Metrics

Record views

148