Hasil Pencarian - Farid Arfi

  • Menampilkan 1 - 1 hasil dari 1
Perbaiki Hasil
  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 oleh Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot

    Diterbitkan 2023-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: