搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 2 筆結果,共 2 筆。
- 上一頁
- 1
- 下一頁
符合的文件:
題名 | 作者 | 日期 |
---|---|---|
Analysis and Detection of Process Interaction Errors | Fan, Chin-Feng; Tsai, Shang-Lin | 2009-02-10T03:04:52Z |
Constraint-based Software Specifications for Safety-critical Applications | Wu, Chia-Kuo; Fan, Chin-Feng | 2006-10-11T07:57:04Z |