[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, QLD (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes
- 作者Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy
- 文件大小153.00KB
- 发表时间2018
- DOI10.1109/ISIE.2018.8433793
- 页码669-674
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - HF Ocean Radars in Ship NavigationHeron, M.L. · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Permanent Magnet Optimization in PM Assisted Synchronous Reluctance MachinesMohanarajah, T.; Nagrial, M.; Rizk, J.; Hellany, A. · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Safety Message Dissemination Using Edge Computing in Heterogeneous VANETsLiu, Wei; Tang, Xiaolan; Jia, Suling; Pu, Juhua · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Interface Compensation for Power Hardware-in-the-LoopMarks, Nathan D.; Kong, Wang Y.; Birt, Daniel S. · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Using Smart Breakers for Demand Side Management in Smart GridsKollmann, Stefan; Meisel, Marcus; Wilker, Stefan; Sauter, Thilo · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Problem of Wireless Fingerprint Duplication in Fingerprinting Based Indoor LocalizationQureshi, Umair Mujtaba; Umair, Zuneera; Hancke, Gerhard Petrus · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, QLD (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Prediction of Clogging in Stormwater Filters Using Artificial Neural NetworkLin, Junlin; Kandra, Harpreet; Choudhury, T. A.; Barton, Andrew · 2018
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, Australia (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Communication Abstraction Supports Network Resource Virtualisation in AutomationOlaya, Santiago Soler Perez; Wollschlaeger, Martin; Krummacker, Dennis; Fischer, Christoph; Schotten, Hans D.; Guillaume, Rene; Walewski, Joachim W.; Franchi, Norman · 2018