Estimating functional coverage in bounded model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Große, Ulrich Kühne, Rolf Drechsler. Estimating functional coverage in bounded model checking. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 1176-1181, ACM, 2007. [doi]

This author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Ulrich Kühne' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL