NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Property Specification and Monitoring

Research on formal specifications for system behavior over time and runtime verification techniques to enforce temporal properties.