has been cited by the following article(s):
[1]
|
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems
IEEE Transactions on Automation Science and Engineering,
2021
DOI:10.1109/TASE.2020.3006435
|
|
|
[2]
|
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
IEEE Transactions on Systems, Man, and Cybernetics: Systems,
2020
DOI:10.1109/TSMC.2018.2855209
|
|
|