About Nadjm-Tehrani, Simin
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.
