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]
Abstract is missing.