1. Home
  2. Computer
  3. Computer Science
  4. Nadjm-Tehrani, Simin

Computer · Computer Science

Nadjm-Tehrani, Simin

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

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.

Tags

I

Where it sits

Computer Computer Science

More in Computer Science

See all →