NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Specification Mining from IoT Device Logs

Automated extraction of formal specifications and behavioral models from Internet of Things device operational logs.