Wipro (India)
🇮🇳 IN
论文数
12
总引用数
79
H-Index
4
研究人员
21
关于
暂无简介。
研究焦点
主要成就
4
H 指数
12
论文
79
总引用数
21
教职员与研究人员
🏆 最高被引论文
Towards automatic verification of autonomous systems
45 次引用 · 2002
📊 篇均引用: 7
📈 最高产年份: 2025 (3)
🔬 研究焦点: Computer science, Engineering, Flexibility (engineering), Software engineering, Formal methods, Model checking
代表论文
- 1Towards automatic verification of autonomous systems45 次引用 · 2002
- 2
- 3
- 4
- 5
- 6
- 7
- 8COVID-Based Edge-Drone Application Approach2 次引用 · 2021
- 9
- 10
教职员与研究人员
…
尚未生成