Documents publiés en "2018"

Département de génie informatique et génie logiciel

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

Helouet, L., Marchand, H., & Mullins, J. (juin 2018). Concurrent Secrets with Quantified Suspicion [Communication écrite]. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia. Lien externe