搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 2 筆結果,共 2 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 針對以自動機為基礎之驗證而設計的PSL公式轉譯 Translation of PSL Formulae for Automata-Based Verification | Tzu-Chien Chang; 張子建 | 資訊管理學研究所 |
2022 | 基於自動機的模型檢查的深度優先搜尋演算法比較研究 A Comparative Study of Depth-First Search Algorithms for Automata-Based Model Checking | Jo-Chuan Chou; 周若涓 | 資訊管理學研究所 |
探索
系所
- 2 資訊管理學研究所
學位
- 2 碩士
關鍵字
- 2 büchi automata
- 1 büchi automata,formula translation
- 1 büchi automata,formula translatio...
- 1 büchi automata,formula translatio...
- 1 büchi automata,formula translatio...
- 1 büchi automata,formula translatio...
- 1 büchi automata,formula translatio...
- 1 büchi automata,model checking
- 1 büchi automata,model checking,nes...
- 1 büchi automata,model checking,nes...
- 下一頁 >
全文授權
- 1 同意授權(限校園內公開)
- 1 有償授權
全文
- 2 true