[SH17]
Muhammad Usama Sardar and Osman Hasan.
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.
In Proc. Models for Formal Analysis of Real Systems (MARS'17), pages 271-282.
2017.
[Models and analyses robotic cell injection systems using PRISM.]
|
