Login / Signup
Raja Oueslati
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 3
Top Topics
Code Generation
Control System
Modeling Language
Formal Methods
Top Venues
ICINCO (1)
ENASE
PECCS
IEEE Access
</>
Publications
</>
Raja Oueslati
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Zhiwu Li
,
Ting Qu
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
IEEE Access
6 (2018)
Raja Oueslati
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Samir Ben Ahmed
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems.
ENASE
(2016)
Raja Oueslati
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Samir Ben Ahmed
Modeling and Verification of B-based Distributed Reconfigurable Control Systems.
PECCS
(2015)
Raja Oueslati
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Samir Ben Ahmed
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.
ICINCO (1)
(2014)