Login / Signup
Ilmaan Zia
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Robotic Arm
Master Slave
Multi Modal
Top Venues
QRS Companion
</>
Publications
</>
Ilmaan Zia
,
Muhammad Abdul Basit Ur Rahim
,
Tairan Liu
,
Zhangying He
Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.
QRS Companion
(2023)