Formal Refinement and Model Checking of an Echo Cancellation Unit - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Krupp, Wolfgang Müller 0003, Ian Oliver. Formal Refinement and Model Checking of an Echo Cancellation Unit. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 102-107, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Alexander Krupp' in GoogleThis author has not been identified. Look up 'Wolfgang Müller 0003' in GoogleThis author has not been identified. Look up 'Ian Oliver' in Google

runs on WebDSL