題名 | 作者 | 日期 |
A Dual Language Approach to Software Formal Specifications and Safety Analysis | Fan, Chin-Feng; Sun, Chia-Ho; Yih, Swu | 2006-10-16T03:31:12Z |
A GIS-based Simulator for CIIP Interdependency Analysis | Lin, Ching-Ting; Fan, Chin-Feng; Yih, Albert | 2011-02-18T03:26:21Z |
A Platform for Simulation of Critical Infrastructures Protection | Kao, Yung-Yu; Kuo, Li-Jung; Fan, Chin-Feng; Yih, Swu | 2009-01-20T09:28:18Z |
Analysis and Detection of Process Interaction Errors | Fan, Chin-Feng; Tsai, Shang-Lin | 2009-02-10T03:04:52Z |
Analysis of the Potential Malicious Code on Control Systems | Tseng, Wan-Hui; Fan, Chin-Feng | 2007-01-26T03:28:48Z |
Constraint-based Software Specifications for Safety-critical Applications | Wu, Chia-Kuo; Fan, Chin-Feng | 2006-10-11T07:57:04Z |
Construction of an Ontology-based Common Criteria Review Tool | Chang, Sheng-Chieh; Fan, Chin-Feng | 2011-02-18T03:26:41Z |
Construction of BBN Diagrams for Software Process Tailoring | Tseng, Wan-Hui; Fan, Chin-Feng | 2006-10-16T06:00:49Z |
Development and Application of the Logical Structures of IEEE Safety Standards | Lien, Kuo-Ting; Yih, Swu; Tseng, Wan-Hui; Fan, Chin-Feng; Wu, Yi-Chen | 2009-01-20T09:18:12Z |
Evidence-based Software Verification and Validation Technique | Fan, Chin-Feng; Huang, Wei-Huo | 2006-10-25T23:58:56Z |
Performance Evaluation Model for Critical Information Infrastructure Protection Activities | Cheng, Chung-Wei; Yih, Swu; Fan, Chin-Feng | 2007-01-26T02:51:51Z |
Software Project Risk Management Using Bayesian Belief Nets (BBNs) | Fan, Chin-Feng; Yu, Yuan-Chang | 2006-10-16T04:01:47Z |
XML-based SCM Environment and Related Metrics | Weng, Ya-Chi; Fan, Chin-Feng | 2006-10-11T07:57:50Z |