Search results for: Olfa Mosbahi
IEEE Transactions on Automation Science and Engineering > 2017 > 14 > 1 > 109 - 125
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 216-220
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2015 > 45 > 10 > 1385 - 1386
IEEE Transactions on Control Systems Technology > 2015 > 23 > 1 > 323 - 330
IEEE Transactions on Automation Science and Engineering > 2015 > 12 > 1 > 258 - 271