NTHRYS › PhD Assistance › Digital Systems Embedded Computing

Digital Systems Embedded Computing

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Embedded Systems Formal Verification Methods

Research on mathematical proof techniques and model checking approaches for verifying critical embedded system properties.