Showing 1 - 20 results of 58 for search 'Chin-Feng Fan', query time: 0.08s Refine Results
  1. 1
    Security Verification for Cyber-Physical Systems Using Model Checking
    by Ching-Chieh Chan, Cheng-Zen Yang, Chin-Feng Fan
    Published 2021-01-01
    Get full text
    Article
  2. 2
    Development of vulnerability analysis and defensemechanisms for cyber-physical systems
    by Ming-Ze Hong, 洪銘澤
    Published 2018
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  3. 3
    Design of the Cybersecurity Plan and Evaulation Tools
    by Yi-Cheng Li, 李佾城
    Published 2019
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  4. 4
    Development and application of automatic web-based testing with multi-thread for an e-banking system
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  5. 5
    Construction of the Operator Model in Ptolemy II to Support Process interaction Simulation
    by Tsung-Hua, Tsai, 蔡宗華
    Published 2016
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  6. 6
    Software Reliability: Theoretical and Experimental Comparison
    by Yu-Hsiang Chan, 詹宥翔
    Published 2016
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  7. 7
    Extending PtolemyⅡ to Include Model Checking using UPPAAL
    by Fu-Ru Xie, 謝馥如
    Published 2016
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  8. 8
    Techniques and applications of ISMS (Information Security Management)-based Automatic Risk Assessment
    by Yi-Ting Cho, 卓奕廷
    Published 2016
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  9. 9
    Testing Methods based on UML Dynamic Models
    by Ming-Hung Chen, 陳銘宏
    Published 2005
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  10. 10
    Constraint-based Software Specification and Verification Using UML2.0
    by Chun-Yin Cheng, 鄭淳尹
    Published 2005
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  11. 11
    A Tool With Reuse For Extended SpecTRM-RL
    by I-Chung Lee, 李義宗
    Published 2005
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  12. 12
    A Dual Language Approach to Software Formal Specification
    by Chia-Ho Sun, 孫家禾
    Published 2002
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  13. 13
    Slicing Hypermedia Instructive Electronic Book
    by Jin-Hui Chen, 陳金輝
    Published 2002
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  14. 14
    Extending Formal Method SpecTRM-RL for Safety Verification
    by Lumg-An Shih, 史龍安
    Published 2003
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  15. 15
    A Study of the Competing Processes in Safety-Critical Computing System
    by Jyh-Shyang Chen, 陳志祥
    Published 2004
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  16. 16
    Formal Methods for Safety Case
    by Zen-Shien Yang, 楊仁賢
    Published 1999
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  17. 17
    Design and Applications of Software Quality Markup Language
    by Hung-Chuian Chang, 張鴻全
    Published 1999
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  18. 18
    IEEE/EIA 12207:Process Nature and Process Simulation
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  19. 19
    Verification and Validation for Software Trustworthiness
    by Yu-Chung Hou, 侯玉中
    Published 1999
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
  20. 20
    Techniques for Evaluating the Effectiveness of Software Engineering Standards
    by Yu-Li Wang, 王有利
    Published 2001
    Other Authors: “...Chin-Feng Fan...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search