Cite
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
MLA
Arfi, Farid, et al. “Formal Verification of a Telerehabilitation System through an Abstraction and Refinement Approach Using Uppaal.” IET Software (Wiley-Blackwell), vol. 17, no. 4, Aug. 2023, pp. 582–99. EBSCOhost, https://doi.org/10.1049/sfw2.12128.
APA
Arfi, F., Courbis, A., Lambolais, T., Bughin, F., & Hayot, M. (2023). Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. IET Software (Wiley-Blackwell), 17(4), 582–599. https://doi.org/10.1049/sfw2.12128
Chicago
Arfi, Farid, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, and Maurice Hayot. 2023. “Formal Verification of a Telerehabilitation System through an Abstraction and Refinement Approach Using Uppaal.” IET Software (Wiley-Blackwell) 17 (4): 582–99. doi:10.1049/sfw2.12128.