Login / Signup
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.
Muhammad Usama Sardar
Osman Hasan
Published in:
MARS@ETAPS (2017)
Keyphrases
</>
formal methods
robotic cell
search space
complex systems