Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications

Gael F. Close, Gjalt De Jong. Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 239-245, IEEE, 2012. [doi]

Authors

Gael F. Close

This author has not been identified. Look up 'Gael F. Close' in Google

Gjalt De Jong

This author has not been identified. Look up 'Gjalt De Jong' in Google