Communication dans un congrès, LaHDAK, Computer Science, Formal Languages and Automata Theory, Théorie et langage formel

A Predictability Algorithm for Distributed Discrete Event Systems

Lina Ye, Philippe Dague, Farid Nouioua. A Predictability Algorithm for Distributed Discrete Event Systems. The 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩. ⟨hal-01274813⟩

Published on