NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Protocol Verification in Embedded Communication

Formal methods and testing approaches for validating correctness and safety properties of communication protocols in embedded systems.