مؤتمر
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 |