Internet Of Things Cyber Physical Systems

Research Frontiers in Formal Verification of Safety-Critical CPS

Research on mathematical proof techniques and model checking ensuring correctness and safety properties of critical cyber-physical systems.

All Internet of Things & Cyber-Physical Systems PhD categories