Runtime Verification of Business Cloud Workflow Temporal Conformance
- 期刊名称IEEE Transactions on Services Computing
- 作者Luo, Haoyu; Liu, Xiao; Liu, Jin; Yang, Yun; Grundy, John
- 文件大小2537.09KB
- 发表时间2020
- DOI10.1109/TSC.2019.2962666
- 页码1-1
Self-capacitance of inductorsMassarini, A.; Kazimierczuk, M.K. · IEEE Transactions on Power Electronics · 1997
A KY Boost ConverterHwu, K .I.; Yau, Y T. · IEEE Transactions on Power Electronics · 2010
The Multilevel Modular DC ConverterFerreira, Jan A. · IEEE Transactions on Power Electronics · 2013
2012 IEEE membership formIEEE Transactions on Power Electronics · 2011
Switched-capacitor filtersMehta, P.; Darwish, M.; Thomson, T. · IEEE Transactions on Power Electronics · 1990
Trends in active power line conditionersAkagi, H. · IEEE Transactions on Power Electronics · 1994
HVDC Thyristor Valve DevelopmentEkstrom, Ake; Eklund, Lars · IEEE Transactions on Power Electronics · 1987
Commutation of SR motorsBecerra, R.C.; Ehsani, M.; Miller, T.J.E. · IEEE Transactions on Power Electronics · 1993