Login / Signup
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.
Yousra Hafidi
Laïd Kahloul
Mohamed Khalgui
Zhiwu Li
Khalid Abdulaziz Alnowibet
Ting Qu
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2020)
Keyphrases
</>
petri net
management system
intelligent systems
computer systems
building blocks
complex systems
asynchronous circuits
distributed systems
knowledge based systems
retrieval systems
computing systems
automated verification
reconfigurable architecture