瀏覽 的方式： 關鍵字 safety analysis
顯示 1 到 2 筆資料，總共 2 筆
| 題名 | 作者 | 日期 |
|---|---|---|
| A Dual Language Approach to Software Formal Specifications and Safety Analysis | Fan, Chin-Feng; Sun, Chia-Ho; Yih, Swu | 2006-10-16T03:31:12Z |
| Constraint-based Software Specifications for Safety-critical Applications | Wu, Chia-Kuo; Fan, Chin-Feng | 2006-10-11T07:57:04Z |