R-UML: An UML Profile for Verification of Flexible Control Systems.

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

Browse the full ICSoft paper archive.