Ontology-Based Safety Case Generation
碩士 === 元智大學 === 資訊工程學系 === 100 === Contemporary safety critical systems(in aerospace, transportation, nuclear power plants and medicine domains) require operation licenses from regulatory agencies before operating. The Safety Case is a significant document consisting of safety claims and proofs prep...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Online Access: | http://ndltd.ncl.edu.tw/handle/46099341184743674381 |