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

代表论文

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10

教职员与研究人员

尚未生成