Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Rail

Handbook of Model Checking

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

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012

Machine Learning in Medical Imaging 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings