Login / Signup
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).
Adnan Rashid
Osman Hasan
Published in:
CICM Workshops (2018)
Keyphrases
</>
higher order logic
complex systems
robotic cell
higher order
search algorithm
conditional logic