Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude 9781447166870, 9781447166863

Evolutionary Methods Based Modeling and Analysis of Solar Thermal Systems: A Case Studies Approach 3031276345, 9783031276347

This book presents insights into the thermal performance of solar thermal collectors using both computational and experi

178 98 7MB Read more

Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems: A Space/Time Separation based Approach 9789400707405, 9789400707412, 9400707401

Annotation

275 94 4MB Read more

Designing Distributed Systems [2 ed.] 9781098156350

Every distributed system strives for reliability, performance, and quality, but building such a system is hard. Establis

104 30 4MB Read more

Modeling and Simulation of Complex Dynamical Systems: Virtual Laboratory Approach based on Wolfram SystemModeler 9811630526, 9789811630521

This book highlights the practical aspects of computer modelling and simulation of complex dynamical systems for student

125 72 Read more

Operating Systems: A Concept-Based Approach 9789389795530

115 12 16MB Read more

Distributed Systems Architecture: A Middleware Approach 9781558606487, 1558606483

Middleware is the bridge that connects distributed applications across different physical locations, with different hard

473 58 2MB Read more

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures [1 ed.] 978-3319073163

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on F

256 77 6MB Read more

Introduction to Modeling and Simulation: A Systems Approach 111998288X, 9781119982883

Introduction to Modeling and Simulation An essential introduction to engineering system modeling and simulation from a w

187 9 31MB Read more

Flow Modelling and Control in Pipeline Systems: A Formal Systematic Approach [1st ed. 2021] 9783030592455

This book introduces novel methods for leak and blockage detection in pipelines. The leak happens as a result of ageing

487 100 6MB Read more

Flow Modelling and Control in Pipeline Systems: A Formal Systematic Approach [1st ed.] 9783030592455, 9783030592462

This book introduces novel methods for leak and blockage detection in pipelines. The leak happens as a result of ageing

414 75 6MB Read more