Web Directory

    Top: Computers: Computer_Science: People: N:

 

Nadjm-Tehrani, Simin

  Link Details for: Nadjm-Tehrani, Simin
Link Title: Nadjm-Tehrani, Simin Open in a new window
Link URL: http://www.ida.liu.se/~snt/
Link Details: 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.
Category: Top : Computers : Computer_Science : People : N
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Nadjm-Tehrani, Simin