Djamel Eddine Saidouni
Publication Count: 1
Publication List:
(1) Distributed Maximality based CTL Model Checking, Volume 7, Issue 3, May 2010
About Djamel Eddine Saidouni:
Djamel Eddine Saidouni. was born in Algeria in 1968. He obtained his PhD degree from Paul Sabatier university, France, in 1996. Djamel Eddine is interested to the following topics : maximality semantics , formal methods , real time system , state explosion problem , models for concurrency , refinement. Dr Djamel Eddine is currently member of the RT-LOTOS project and the author of the true concurrency model for process algebra called Maximality Labeled Transition system. Dr Djamel Eddine has many publications in theoretical computer science and formal methods . Dr Djamel Eddine is currently an assistant professor in the department of computer science at the University of Constantine. He is also the head of the research group on formal methods.
Publication List:
(1) Distributed Maximality based CTL Model Checking, Volume 7, Issue 3, May 2010
About Djamel Eddine Saidouni:
Djamel Eddine Saidouni. was born in Algeria in 1968. He obtained his PhD degree from Paul Sabatier university, France, in 1996. Djamel Eddine is interested to the following topics : maximality semantics , formal methods , real time system , state explosion problem , models for concurrency , refinement. Dr Djamel Eddine is currently member of the RT-LOTOS project and the author of the true concurrency model for process algebra called Maximality Labeled Transition system. Dr Djamel Eddine has many publications in theoretical computer science and formal methods . Dr Djamel Eddine is currently an assistant professor in the department of computer science at the University of Constantine. He is also the head of the research group on formal methods.
