Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
2017 ◽
Vol 244
◽
pp. 271-282
◽
Muhammad Usama Sardar
◽
Osman Hasan
Haibo Huang
◽
Dong Sun
◽
James K. Mills
◽
Wen J. Li
Syafizwan Faroque
◽
Ben Horan
◽
Husaini Adam
◽
Mulyoto Pangestu
◽
Samuel Thomas
Adnan Rashid
◽
Osman Hasan
2015 ◽
Vol 22
(3)
◽
pp. 509-523
◽
Syafizwan Faroque
◽
Ben Horan
◽
Husaini Adam
◽
Mulyoto Pangestu
◽
Matthew Joordens
Syafizwan Faroque
◽
Ben Horan
◽
Michael Mortimer
◽
Mulyoto Pangestu
Wu Hanmei
◽
Xu Wenkang
◽
Cai Chenxiao
Nabeel Kamal
◽
Zohaib Amjad Khan
◽
Asad Hameed
◽
Osman Hasan
Syafizwan Faroque
◽
Ben Horan
◽
Michael Mortimer
◽
Mulyoto Pangestu
2018 ◽
Vol 67
◽
pp. 656-671
◽
Syafizwan Faroque
◽
Michael Mortimer
◽
Mulyoto Pangestu
◽
Mehdi Seyedmahmoudian
◽
Ben Horan
2013 ◽
Vol 41
(1)
◽
pp. 73-86
◽
Zhiyong Sun
◽
Lina Hao
◽
Wenlin Chen
◽
Zhi Li