Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.

Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Browse the full ICSoft paper archive.