Research and Development of an Automation Software Verification for PC-Based Motion Control Cards
碩士 === 國立臺灣科技大學 === 自動化及控制研究所 === 101 === The object of the thesis is to design an automated software verification program for PC-based motion control cards. The main scope of the study includes two parts: The first part is the validation of the speed profile performance while the second part is the...
Main Authors: | CHANG,CHIA-HUA, 張嘉樺 |
---|---|
Other Authors: | Sheng-Chun Hsu |
Format: | Others |
Language: | zh-TW |
Published: |
2013
|
Online Access: | http://ndltd.ncl.edu.tw/handle/56277917314025364371 |
Similar Items
-
Investigations in Automating Software Verification
by: Kirschenbaum, Jason P.
Published: (2011) -
Techniques to Improve Automated Software Verification
by: Tagore, Aditi
Published: (2014) -
An automated dose verification software
for brachytherapy
by: Xianliang Wang, et al.
Published: (2018-10-01) -
Automated interactive software verification and synthesis
by: Hughes, Roger Brett
Published: (1992) -
Formal Verification of a Smart CardOperating System
by: Chia-Hsin Yang, et al.
Published: (2002)