A global constraint for over-approximation of real-time streams.
Saved in:
| Title: | A global constraint for over-approximation of real-time streams. |
|---|---|
| Authors: | Bart, Anicet1, anicet.bart@imt-atlantique.fr, Truchet, Charlotte2, charlotte.truchet@univ-nantes.fr, Monfroy, Eric2, eric.monfroy@univ-nantes.fr |
| Source: | Constraints: An International Journal; Jul2017, Vol. 22 Issue 3, p463-490, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 13837133 |
|---|---|
| DOI: | 10.1007/s10601-017-9268-z |
