Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik. Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams. In Zeljko Zilic, Sandeep K. Shukla, editors, 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. pages 83, IEEE, 2011. [doi]

This author has not been identified. Look up 'Anton Karputkin' in GoogleThis author has not been identified. Look up 'Raimund Ubar' in GoogleThis author has not been identified. Look up 'Mati Tombak' in GoogleThis author has not been identified. Look up 'Jaan Raik' in Google

runs on WebDSL