瀏覽 的方式: 作者 Tzu-Chien Chang
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 針對以自動機為基礎之驗證而設計的PSL公式轉譯 Translation of PSL Formulae for Automata-Based Verification | Tzu-Chien Chang; 張子建 | 資訊管理學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 針對以自動機為基礎之驗證而設計的PSL公式轉譯 Translation of PSL Formulae for Automata-Based Verification | Tzu-Chien Chang; 張子建 | 資訊管理學研究所 |