Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui. A New Approach for Generating LOTOS Specifications from UML Dynamic Models. In Jake Yue Chen, Mohammed J. Zaki, Tamer Kahveci, Saeed Salem, Mehmet Koyutürk, editors, Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, Yokohama, Japan, July 13-15, 2015. pages 138-143, ACM, 2015. [doi]
Abstract is missing.