This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 Inter
This volume describes novel and state-of-the-art approaches to solvingproblems arising in the domain of embedded real-time systems. It isbased on the GI-Dagstuhl research seminar MBEERTS (Modelling-Ba
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena
