1 - 4 toradh á dtaispeáint as 4 toradh san iomlán ar an gcuardach 'Canh Minh Do', am iarratais: 0.03s Beachtaigh na torthaí
  1. 1
    Symbolic model checking quantum circuits in Maude

    Symbolic model checking quantum circuits in Maude de réir Canh Minh Do, Kazuhiro Ogata

    Foilsithe / Cruthaithe 2024-06-01
    Faigh an téacs iomlán
    Alt
  2. 2
    A Layered and Parallelized Method of Eventual Model Checking

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

    Foilsithe / Cruthaithe 2023-07-01
    Faigh an téacs iomlán
    Alt
  3. 3
    A Divide and Conquer Approach to Eventual Model Checking

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

    Foilsithe / Cruthaithe 2021-02-01
    Faigh an téacs iomlán
    Alt
  4. 4
    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 de réir Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

    Foilsithe / Cruthaithe 2023-09-01
    Faigh an téacs iomlán
    Alt

Uirlisí cuardaigh: