NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Embedded System Formal Verification Methods

Application of mathematical formal methods and model checking to formally prove correctness properties of embedded system designs.