Using a formal specification and a model checker to monitor and direct simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Serdar Tasiran, Yuan Yu, Brannon Batson. Using a formal specification and a model checker to monitor and direct simulation. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 356-361, ACM, 2003. [doi]

This author has not been identified. Look up 'Serdar Tasiran' in GoogleThis author has not been identified. Look up 'Yuan Yu' in GoogleThis author has not been identified. Look up 'Brannon Batson' in Google

runs on WebDSL