Oussama Khlifi

Oussama Khlifi

Saarland University
Chair of Automation and Energy Systems
Building A5 1 / Room 1.29
D-66123 Saarbrücken
Germany

Phone: +49 681 302 -57598
Fax: +49 681 302 -57599
E-Mail: oussama.khlifi@aut.uni-saarland.de

 

Research Interests

  • Modeling and Simulation of Adaptive Probabilistic Discrete Event Systems
  • Formal Verification, Probabilistic Model Checking, Petri Nets
  • Development Algorithms: ' ZIZO Tool '

 

ZIZO Tool details