Hilal Djafri
According to our database1,
Hilal Djafri
authored at least 5 papers
between 2011 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
0
1
2
3
4
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Numerical and statistical approaches for model checking of stochastic processes. (Approches numériques et statistiques pour le model checking des processus stochastiques).
PhD thesis, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Petri nets compositional modeling and verification of Flexible Manufacturing Systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011