Anne-lise Courbis, Farid Arfi, Thomas Lambolais, François Bughin, Maurice Hayot. Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023. pages 75-80, IEEE, 2023. [doi]
@inproceedings{CourbisALBH23, title = {Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback}, author = {Anne-lise Courbis and Farid Arfi and Thomas Lambolais and François Bughin and Maurice Hayot}, year = {2023}, doi = {10.1109/ISSREW60843.2023.00050}, url = {https://doi.org/10.1109/ISSREW60843.2023.00050}, researchr = {https://researchr.org/publication/CourbisALBH23}, cites = {0}, citedby = {0}, pages = {75-80}, booktitle = {34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023}, publisher = {IEEE}, isbn = {979-8-3503-1956-9}, }