NTHRYS › PhD Assistance › Formal Methods
Select a category to explore research frontiers
Loading categories...
Extensions of temporal logics with data constraints and first-order quantification for complex system specifications.
All Formal Methods PhD categories