ASCEND
BY NTHRYS

NTHRYSPhD AssistanceSoftware Testing Verification

Software Testing Verification

Field
Category

Software Testing Verification

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Property Specification Languages

Development and application of formal languages like LTL and MTL for expressing system properties.

All Software Testing & Verification PhD categories