David Western
论文数
5
总引用数
50
H-Index
3
关于
暂无简介。
研究焦点
Computer science5 · 50 次引用
Programming language4 · 49 次引用
Artificial intelligence4 · 49 次引用
Robot4 · 49 次引用
Human–computer interaction3 · 37 次引用
Code (set theory)3 · 37 次引用
Microelectronics2 · 32 次引用
Field (mathematics)2 · 32 次引用
Formal verification2 · 32 次引用
Embedded system2 · 32 次引用
Functional verification2 · 32 次引用
Process (computing)2 · 32 次引用
主要成就
3
H 指数
5
论文
50
总引用数
10
篇均引用
🏆 最高被引论文
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
20 次引用 · 2015
📈 最高产年份: 2015 (3 论文)
🤝 主要合作者: 6
🏛 所属机构: University of Bristol, University of the West of England
代表论文
- 1
- 2
- 3Coverage-Driven Verification —12 次引用 · 2015
- 4
- 5
主要合作者
尚未生成