Fast prototyping from assertions: A pragmatic approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione. Fast prototyping from assertions: A pragmatic approach. In 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013. pages 23-32, IEEE, 2013. [doi]

This author has not been identified. Look up 'Katell Morin-Allory' in GoogleThis author has not been identified. Look up 'Fatemeh Negin Javaheri' in GoogleThis author has not been identified. Look up 'Dominique Borrione' in Google

runs on WebDSL