搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 2 筆結果,共 2 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2023 | 多執行緒C語言程式的顯式和符號模型驗證方法比較研究 Explicit and Symbolic Model-Checking Approaches for Multithreaded C Programs: A Comparative Study | 劉韋成; Wei-Cheng Liu | 資訊管理學系 |
2022 | 多執行緒C語言程式的可擴展模型檢測工具 An Extensible Model Checker for Multithreaded C Programs | 蘇俊杰; Chun-Jie Su | 資訊管理學系 |
探索
系所
- 2 資訊管理學系
學位
- 2 碩士
關鍵字
- 2 büchi automata
- 1 büchi automata,fixpoints
- 1 büchi automata,fixpoints,linear t...
- 1 büchi automata,fixpoints,linear t...
- 1 büchi automata,fixpoints,linear t...
- 1 büchi automata,fixpoints,linear t...
- 1 büchi automata,fixpoints,linear t...
- 1 büchi automata,linear temporal logic
- 1 büchi automata,linear temporal lo...
- 1 büchi automata,linear temporal lo...
- 下一頁 >
全文授權
全文
- 2 true