Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai,

rCOS: Defining Meanings of Component-Based Software Architectures.- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.- Unifying Theories of Programming in Isabelle.- FORMULA 2.0: A Language for Formal Specifications.- Formal Modelling, Analysis and Verification of Hybrid Systems.

• Format: Paperback
• Language: English
• ISBN: 3642397204
• ISBN13: 9783642397202
• Release Date: July 2013
• Publisher: Springer
• Length: 283 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"