Reviewed on January 11, 2023
Source

    © 2023 the Reviewer.

References

    Samir, T., Faycal, G., Nadia, H., Laid, K., Mohamed, K., Ashraf, A. M. 2023. Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms.