搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 1 筆結果,共 1 筆。
- 上一頁
- 1
- 下一頁
符合的文件:
題名 | 作者 | 日期 |
---|---|---|
正規方法應用於建構安全個案 | 楊仁賢; 范金鳳; 林錦銘 | 2006-10-27 |
探索
關鍵字
- 1 assertion
- 1 formal methods
- 1 safety case
- 1 反應器保護系統
- 1 斷言
- 1 正規方法
日期
- 1 2006
使用篩選器讓結果更精確。
題名 | 作者 | 日期 |
---|---|---|
正規方法應用於建構安全個案 | 楊仁賢; 范金鳳; 林錦銘 | 2006-10-27 |