Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Handbook of Dynamic Data Driven Applications Systems

Handbook of Model Checking

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

Flexible Robot Manipulators Modelling, Simulation and Control

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings

Intelligent Computing and Internet of Things 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 II

RoboCup 2016: Robot World Cup XX

Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings