关于

暂无简介。

研究焦点

主要成就

22
H 指数
79
论文
1,594
总引用数
20
篇均引用
🏆 最高被引论文
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 次引用 · 2019
📈 最高产年份: 2018 (8 论文)
🤝 主要合作者: 116
🏛 所属机构: University of York, Intelligent Systems Research (United States), University of Kent, University of Sunderland, Aberystwyth University

代表论文

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

主要合作者

联系与链接

可合作
⚠️ 400 {"type":"error","error":{"type":"invalid_request_error","message":"Your credit balance is too low to access the Anthropic API. Please go to Plans & Billing to upgrade or purchase credits."},"request_id":"req_011Cbu6PxWM3Cj7w9cbmC3Vu"}