NTHRYS › PhD Assistance › Internet Of Things Cyber Physical Systems

Internet Of Things Cyber Physical Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Methods for CPS Protocol Verification

Mathematical techniques and tools for formally verifying correctness and security properties of cyber-physical system protocols.