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

التفاصيل البيبلوغرافية
العنوان: Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches
المؤلفون: Jairam, S., Lata, Kusum, Roy, Subir K., Bhat, Navakanta
المصدر: 2008 15th IEEE International Conference on Electronics, Circuits and Systems Electronics, Circuits and Systems, 2008. ICECS 2008. 15th IEEE International Conference on. :910-913 Aug, 2008
Relation: 2008 15th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2008)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781424421817
9781424421824
DOI:10.1109/ICECS.2008.4675002