Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.

Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He

Browse the full QRS paper archive.