Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

by Jonathan P. Bowen

Seamless Model-based System Development: Foundations.- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence.- K - A Semantic Framework for Programming Languages and Formal Analysis Tools.- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

• Format: Paperback
• Language: English
• ISBN: 3030550885
• ISBN13: 9783030550882
• Release Date: August 2020
• Publisher: Springer
• Length: 221 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"