Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey. Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. In Pascal Lorenz, Marten van Sinderen, Jorge Cardoso, editors, ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. pages 64-75, SciTePress, 2015. [doi]
Abstract is missing.