Monter d'un niveau |
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (2018). Opacity for linear constraint Markov chains. Discrete Event Dynamic Systems: Theory and Applications, 28(1), 83-108. Lien externe
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (mai 2016). Preserving opacity on Interval Markov Chains under simulation [Communication écrite]. 13th International Workshop on Discrete Event Systems (WODES 2016), Xi'an, China. Lien externe
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (2015). Probabilistic opacity in refinement-based modeling. (Rapport technique). Lien externe