Showing 1 - 1 results of 1 for search 'Farid Arfi', query time: 0.02s Refine Results
  1. 1
    Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

    Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal by Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot

    Published 2023-08-01
    Get full text
    Article

Search Tools: