瀏覽 的方式: 作者 何熙明
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2010 | 交互時態邏輯公式之即時模型驗證與策略建立 On-the-Fly Strategy Construction in ATL Model-Checking | Hsi-Ming Ho; 何熙明 | 電機工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2010 | 交互時態邏輯公式之即時模型驗證與策略建立 On-the-Fly Strategy Construction in ATL Model-Checking | Hsi-Ming Ho; 何熙明 | 電機工程學研究所 |