Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Study in China

Spatial Data Mining Theory and Application

Opportunistic Spectrum Sharing in Cognitive Radio Networks

Intelligent Computing Methodologies 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

“Internet Plus” Pathways to the Transformation of China’s Property Sector

Advanced Data Mining and Applications 14th International Conference, ADMA 2018, Nanjing, China, November 16–18, 2018, Proceedings

Wireless Sensor Networks Principles, Design and Applications

Advanced Data Mining and Applications 15th International Conference, ADMA 2019, Dalian, China, November 21–23, 2019, Proceedings

Blockchain – ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Big Data Benchmarks, Performance Optimization, and Emerging Hardware 4th and 5th Workshops, BPOE 2014, Salt Lake City, USA, March 1, 2014 and Hangzhou, China, September 5, 2014, Revised Selected Papers

Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I