Xavier Oriol, Ernest Teniente. Adapting Integrity Checking Techniques for Concurrent Operation Executions. In Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt, editors, System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings. Volume 11753 of Lecture Notes in Computer Science, pages 235-248, Springer, 2019. [doi]
Abstract is missing.