[IEEE 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Berlin, Germany (2016.9.6-2016.9.9)] 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - User-friendly formal specification languages - conclusions drawn from industrial experience on model checking
- 作者Pakonen, Antti; Pang, Cheng; Buzhinsky, Igor; Vyatkin, Valeriy
- 文件大小664.16KB
- 发表时间2016
- DOI10.1109/ETFA.2016.7733717
- 页码1-8
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Program2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Program2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Committees2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Title page2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - On ASMC design for robotic manipulatorsZhu, Jiang; Khayati, Karim · 2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - RPsec: Managing routing protocol securityPrajapati, Nitin; Atwood, J. William · 2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Diffraction: A critical propagation mechanismZabihi, Roshanak; Vaughan, Rodney G. · 2016
[IEEE 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Vancouver, BC, Canada (2016.5.15-2016.5.18)] 2016 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Bayesian optimization of BCI parametersBashashati, Hossein; Ward, Rabab K.; Bashashati, Ali · 2016
[IEEE 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) - Quebec, QC, Canada (2018.5.13-2018.5.16)] 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) - Optimal Phasing for Parallel Transmission Lines to Minimize AC InterferenceTavighi, Arash; Ahmadi, Hamed; Armstrong, Mazana; Marti, Jose R. · 2018
[IEEE 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) - Quebec, QC, Canada (2018.5.13-2018.5.16)] 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) - Quantifying the Shielding Effect of Trees Against Lightning Strikes for Power Transmission LinesAhmadi, Hamed; Armstrong, Mazana; Tavighi, Arash · 2018