Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}