Dependence Guided Symbolic Execution
- 期刊名称IEEE Transactions on Software Engineering
- 作者Wang, Haijun; Liu, Ting; Guan, Xiaohong; Shen, Chao; Zheng, Qinghua; Yang, Zijiang
- 印刷ISSN0098-5589
- 电子ISSN1939-3520
- 文件大小927.11KB
- 发表时间2016
- DOI10.1109/TSE.2016.2584063
- 页码1-1
Asymmetrical <formula formulatype="inline"><tex notation="TeX">$Gamma$</tex></formula>-Source InvertersMo, Wei; Loh, Poh Chiang; Blaabjerg, Frede · IEEE Transactions on Industrial Electronics · 2014
AC Drive Observability AnalysisVaclavek, Pavel; Blaha, Petr; Herman, Ivo · IEEE Transactions on Industrial Electronics · 2013
Active Buck–Boost InverterTang, Yu; Dong, Xianmei; He, Yaohua · IEEE Transactions on Industrial Electronics · 2014
Current-Fed Switched InverterNag, Soumya Shubhra; Mishra, Santanu · IEEE Transactions on Industrial Electronics · 2014
Modulating electric control devicesMcEvoy, J. E.; Danvic, J. A. · IEEE Transactions on Industrial Electronics and Control Instrumentation · 1966
Table of ContentsIEEE Transactions on Industrial Electronics · 2014
Tunable UltracapacitorBakhoum, Ezzat G.; Cheng, Marvin H. M. · IEEE Transactions on Industrial Electronics · 2013
Guest EditorialRodriguez, J.R. · IEEE Transactions on Industrial Electronics · 2005