Simulation Trace Verification for Quantitative Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe. Simulation Trace Verification for Quantitative Constraints. In Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn, editors, Embedded Software for SoC. pages 275-285, Kluwer / Springer, 2003. [doi]

This author has not been identified. Look up 'Xi Chen 0024' in GoogleThis author has not been identified. Look up 'Harry Hsieh' in GoogleThis author has not been identified. Look up 'Felice Balarin' in GoogleThis author has not been identified. Look up 'Yosinori Watanabe' in Google

runs on WebDSL