Sukumar Jairam, Kusum Lata, Subir K. Roy, Navakanta Bhat. Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches. In 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008, St. Julien's, Malta, August 31 2008-September 3, 2008. pages 910-913, IEEE, 2008. [doi]
@inproceedings{JairamLRB08,
title = {Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches},
author = {Sukumar Jairam and Kusum Lata and Subir K. Roy and Navakanta Bhat},
year = {2008},
doi = {10.1109/ICECS.2008.4675002},
url = {http://dx.doi.org/10.1109/ICECS.2008.4675002},
researchr = {https://researchr.org/publication/JairamLRB08},
cites = {0},
citedby = {0},
pages = {910-913},
booktitle = {15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008, St. Julien's, Malta, August 31 2008-September 3, 2008},
publisher = {IEEE},
isbn = {978-1-4244-2181-7},
}