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.

No queries for www.ida.liu.se/~snt