The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 450
Weight: 703 g
Dimensions: 235 x 155 x 25 mm
You may also be interested in...
Please sign in to write a review