NTHRYS › PhD Assistance › Formal Methods
Select a category to explore research frontiers
Loading categories...
Advances in verification of timed automata with parameters for modeling time-dependent system behavior under uncertainty.
All Formal Methods PhD categories