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]
@inproceedings{CloseJ12,
title = {Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications},
author = {Gael F. Close and Gjalt De Jong},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6337018},
researchr = {https://researchr.org/publication/CloseJ12},
cites = {0},
citedby = {0},
pages = {239-245},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1240-0},
}