%0 Journal Article %1 journals/iet-sen/ArfiCLBH23 %A Arfi, Farid %A Courbis, Anne-Lise %A Lambolais, Thomas %A Bughin, François %A Hayot, Maurice %D 2023 %J IET Softw. %K dblp %N 4 %P 582-599 %T Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen17.html#ArfiCLBH23 %V 17

@article{journals/iet-sen/ArfiCLBH23, added-at = {2023-08-18T00:00:00.000+0200}, author = {Arfi, Farid and Courbis, Anne-Lise and Lambolais, Thomas and Bughin, François and Hayot, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/2a2501d70e491846feb4bd827d1afe33a/dblp}, ee = {https://doi.org/10.1049/sfw2.12128}, interhash = {898a4a8ecd38c9affa4c80fbb0b4050d}, intrahash = {a2501d70e491846feb4bd827d1afe33a}, journal = {IET Softw.}, keywords = {dblp}, month = {August}, number = 4, pages = {582-599}, timestamp = {2024-04-09T06:03:25.000+0200}, title = {Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen17.html#ArfiCLBH23}, volume = 17, year = 2023 }