{"product_id":"real-time-systems-modeling-design-and-applications","title":"Real-time Systems: Modeling, Design And Applications","description":"This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners' secrets.","brand":"World Scientific Publishing Co Pte Ltd","offers":[{"title":"Default Title","offer_id":54257369055576,"sku":"9789810244248","price":249.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9789810244248_69ebb82a-e1f9-4f7e-b899-01de3d41751e.jpg?v=1777608928","url":"https:\/\/agendabookshop.com\/products\/real-time-systems-modeling-design-and-applications","provider":"Agenda Bookshop","version":"1.0","type":"link"}