Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback.

Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, Franois Bughin, Maurice Hayot

Browse the full ISSRE paper archive.