The BUSpec platform for automated generation of verification aids for standard bus protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti. The BUSpec platform for automated generation of verification aids for standard bus protocols. In 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. pages 119-128, IEEE, 2004. [doi]

This author has not been identified. Look up 'Bhaskar Pal' in GoogleThis author has not been identified. Look up 'Ansuman Banerjee' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in GoogleThis author has not been identified. Look up 'P. P. Chakrabarti' in Google

runs on WebDSL