![](/img/cover-not-exists.png)
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems
Oueslati, Raja, Mosbahi, Olfa, Khalgui, Mohamed, Li, Zhiwu, Qu, TingVolume:
6
Year:
2018
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2018.2878896
File:
PDF, 8.85 MB
english, 2018