Ontology-Based System for State Specification Verification
碩士 === 國立高雄第一科技大學 === 系統與控制工程研究所 === 94 === ABSTRACT To design automation system specification efficiently, the verification of transitions of the states plays the dominant factor. In this paper, an ontology system possessing domain knowledge to verify the completeness and robustness criteria for st...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2006
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/56076032978997936225 |