NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Embedded System State Machine Verification

Formal verification and testing methods for complex finite state machines controlling behavior in safety-critical embedded applications.