A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Subhashini Balakrishnan, Sofiène Tahar. A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs. In 9th Great Lakes Symposium on VLSI (GLS-VLSI 99), 4-6 March 1999, Ann Arbor, MI, USA. pages 284-287, IEEE Computer Society, 1999. [doi]

This author has not been identified. Look up 'Subhashini Balakrishnan' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL