학술논문
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal
Document Type
Article
Author
Source
In: IET Software . (IET Software, August 2023, 17(4):582-599)
Subject
Language
English
ISSN
17518814
17518806
17518806