Hasil Pencarian - Canh Minh Do

  • Menampilkan 1 - 6 hasil dari 6
Perbaiki Hasil
  1. 1
    Parallel Specification-Based Testing for Concurrent Programs

    Parallel Specification-Based Testing for Concurrent Programs oleh Canh Minh Do, Kazuhiro Ogata

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Symbolic model checking quantum circuits in Maude

    Symbolic model checking quantum circuits in Maude oleh Canh Minh Do, Kazuhiro Ogata

    Diterbitkan 2024-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way

    Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way oleh Canh Minh Do, Yati Phyo, Kazuhiro Ogata

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    A Layered and Parallelized Method of Eventual Model Checking

    A Layered and Parallelized Method of Eventual Model Checking oleh Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

    Diterbitkan 2023-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    A Divide and Conquer Approach to Eventual Model Checking

    A Divide and Conquer Approach to Eventual Model Checking oleh Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

    Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version oleh Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

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

Alat Pencarian: