An Interval-Based Solution for Static Analysis in the SIGNAL Language

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]

Authors

Abdoulaye Gamatié

This author has not been identified. Look up 'Abdoulaye Gamatié' in Google

Thierry Gautier

This author has not been identified. Look up 'Thierry Gautier' in Google

Loïc Besnard

This author has not been identified. Look up 'Loïc Besnard' in Google