NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Real-Time Software Testing and Verification

Develops formal verification methods and testing frameworks for guaranteeing temporal correctness in safety-critical embedded applications.