LTSs for translation validation of (multi-clocked) SIGNAL specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic. LTSs for translation validation of (multi-clocked) SIGNAL specifications. In 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. pages 199-208, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Julio C. Peralta' in GoogleThis author has not been identified. Look up 'Thierry Gautier' in GoogleThis author has not been identified. Look up 'Loïc Besnard' in GoogleThis author has not been identified. Look up 'Paul Le Guernic' in Google

runs on WebDSL