A New Approach for Generating LOTOS Specifications from UML Dynamic Models

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]

Authors

Salim Djaaboub

This author has not been identified. Look up 'Salim Djaaboub' in Google

Elhillali Kerkouche

This author has not been identified. Look up 'Elhillali Kerkouche' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google