ICSOFT-PT

Ben Salem, M.O.; Mosbahi, O.; Khalgui, M.; Frey, G.:Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT-PT 2015), ISBN 978-989-758-115-1, pp. 64-75, Colmar/Alsace, France, Jul. 2015.