Generation and Verification of Executable Operating Procedures Based on Untimed Automata
碩士 === 國立成功大學 === 化學工程學系 === 106 === Despite the fact that the modern chemical plants are becoming more complex than they used to be, their operating procedures are still generated manually in most cases. Since this approach is clearly laborious and error prone, it is necessary to develop a viable a...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2018
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/3a787j |