Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. An Interval-Based Solution for Static Analysis in the SIGNAL Language. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 182-190, IEEE Computer Society, 2008. [doi]
@inproceedings{GamatieGB08,
title = {An Interval-Based Solution for Static Analysis in the SIGNAL Language},
author = {Abdoulaye Gamatié and Thierry Gautier and Loïc Besnard},
year = {2008},
doi = {10.1109/ECBS.2008.18},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.18},
tags = {rule-based, analysis, static analysis},
researchr = {https://researchr.org/publication/GamatieGB08},
cites = {0},
citedby = {0},
pages = {182-190},
booktitle = {15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland},
publisher = {IEEE Computer Society},
}