NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Embedded System Model Extraction Framework

Automated generation of formal behavioral models from embedded system source code and binaries for analysis and verification.