1 citations · 1 across the 13 of their papers we have counts for
4 papers · 1 filter
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid, Osman Hasan
Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cel…
Formalization of Lerch's Theorem using HOL Light
Adnan Rashid, Osman Hasan
The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluatin…
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Adnan Rashid, Osman Hasan
Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm…
Formal Verification of Platoon Control Strategies
Adnan Rashid, Umair Siddique, Osman Hasan
Recent developments in autonomous driving, vehicle-to-vehicle communication and smart traffic controllers have provided a hope to realize platoon formation of vehicles. The main be…