Home >
domains >
www.ida.liu.se
Nadjm-Tehrani, Simin
Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.
|
Keyword |
Results for this URL |
Total searches |