A study of model-level verification for embedded systems
碩士 === 元智大學 === 資訊工程學系 === 102 === With the improvement of technology and advances of living, embedded systems play an indispensable role in our life. Embedded systems evolve from past industrial control systems to contemporary systems/devices used in our daily life now. For instance, the control sy...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Online Access: | http://ndltd.ncl.edu.tw/handle/32338565147774077853 |