ASET: A Formal Model for System Emulation and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Swapan Bhattacharyya, Joydeep Bhattacharyya, Adrish Ray Chaudhuri. ASET: A Formal Model for System Emulation and Verification. In 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 28-30 June 2004, Geneva, Switzerland. pages 21-28, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Swapan Bhattacharyya' in GoogleThis author has not been identified. Look up 'Joydeep Bhattacharyya' in GoogleThis author has not been identified. Look up 'Adrish Ray Chaudhuri' in Google

runs on WebDSL