Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Author is Nouioua, Farid  [Clear All Filters]
F. Nouioua, Dague, P., and Ye, L., Predictability in probabilistic discrete event systems, in {8th International Conference on Soft Methods in Probability and Statistics SMPS 2016}, Rome, Italy, 2016.
L. Ye, Dague, P., and Nouioua, F., A Predictability Algorithm for Distributed Discrete Event Systems, in The 17th International Conference on Formal Engineering Methods, Paris, France, 2015.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verication with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.