Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches

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]

Authors

Sukumar Jairam

This author has not been identified. Look up 'Sukumar Jairam' in Google

Kusum Lata

This author has not been identified. Look up 'Kusum Lata' in Google

Subir K. Roy

This author has not been identified. Look up 'Subir K. Roy' in Google

Navakanta Bhat

This author has not been identified. Look up 'Navakanta Bhat' in Google