Fingerprint
Dive into the research topics of 'RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Zhiwu Li, Meng Chu Zhou
Research output: Contribution to journal › Article › peer-review
4
Scopus
citations