Alabama Agricultural and Mechanical University
🇺🇸 US
论文数
4
总引用数
12
H-Index
2
研究人员
5
关于
暂无简介。
研究焦点
主要成就
2
H 指数
4
论文
12
总引用数
5
教职员与研究人员
🏆 最高被引论文
An approach to analyzing adaptive intelligent vehicle system using SMT solver
5 次引用 · 2016
📊 篇均引用: 3
📈 最高产年份: 2016 (1)
🔬 研究焦点: Computer science, Operating system, Firmware, Embedded system, Artificial intelligence, Control reconfiguration
代表论文
- 1
- 2Runtime Verification on Robotics Systems3 次引用 · 2015
- 3
- 4
教职员与研究人员
…
尚未生成