A Predictability Algorithm for Distributed Discrete Event Systems

Submitted by lahdakadmin on Fri, 07/22/2016 - 14:05
TitleA Predictability Algorithm for Distributed Discrete Event Systems
Publication TypeConference Paper
Year of Publication2015
AuthorsYe, L, Dague, P, Nouioua, F
Conference NameThe 17th International Conference on Formal Engineering Methods
Conference LocationParis, France
URLhttps://hal.archives-ouvertes.fr/hal-01274813
DOI10.1007/978-3-319-25423-4\_13