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 journalArticlepeer-review

1 Scopus citations

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.

Engineering & Materials Science