Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems
In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Softwa
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstract
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap
The book outlines Sysnet Modelling, a method for modelling systems architecture. The method is particularly well suited for telecom networks and systems, although a large part of it may be used in a w
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computi
Optical Components for Communications is an incomparable book that provides the reader with an understanding of a highly technical subject in a way that is both academically sound and easy to read. Re
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V
This book presents state-of-the-art approaches in formal verification and methods to seamlessly integrate different formal verification techniques within a single logical foundation. It demonstrates
Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of anal
This book contains extended versions of selected papers from the 3rd edition of the International Symposium CompIMAGE.These contributions include cover methods of signal and image processing and analy
This book provides a basis for the design and analysis of welded components, that are loaded by fluctuating forces, to avoid failure by fatigue. In addition the book aims at assisting others, on board
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, held in Pisa, Italy, November 29-30, 2017.Th
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible ma
This volume presents innovative formulations and applied procedures for sensitivity analysis and structural design optimization. Coverage ranges from recent developments to the use of evolutionary alg
This book serves as a single-source reference to the state-of-the-art in Internet of Things (IoT) platforms, services, tools, programming languages, and applications. In particular, the authors focus
This book provides an overview and an insight in cooperative objects and defines the classification of topics into the different areas. A significant number of researchers and industrial partners were
The ongoing thread in this volume of Physics of Lakes is the presentation of different methods of investigation for processes taking place in real lakes with a view to understanding lakes as component
The call for environmentally compatible and economical vehicles necessitates immense efforts to develop innovative engine concepts. Technical concepts such as gasoline direct injection helped to save
Instead of taking somebody's word for it about the basic size and distance statistics for the solar system, this book shows amateur astronomers how to measure these things for themselves. This is an
This book focuses on new methods, architectures, and applications for the management of Cyber Physical Objects (CPOs) in the context of the Internet of Things (IoT).It covers a wide range of topi
This book deals with the application of techniques and methods of chemical analysis for the study of biomass and its conversion processes, aiming to fill the current gap in the book literature on the
This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground, to reinforce for students that n
This comprehensive text covers the use of SAS for epidemiology and public health research. Developed with students in mind and from their feedback, the text addresses this material in a straightforwar
Introduces and explains classical and modern mathematical procedures as applied to the real problems confronting engineers and geoscientists. This book lays out the foundations for mastering difficult
A clear, practical and self-contained presentation of the methods of asymptotics and perturbation theory for obtaining approximate analytical solutions to differential and difference equations. Aimed
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full paper
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
Michael Hrobak studied hybrid integrated front end modules for high frequency measurement equipment and especially for synthetic automatic test systems. Recent developments of innovative, critical mil
Testbeds are gaining increasing relevance in research domains and also in industrial applications. However, very few books devoted to testbeds have been published. To the best of my knowledge no book
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013.The 14 revised full papers presented to
Frequent drought events have recently occurred in different Mediterranean regions. These have highlighted a general inadequacy of the current strategies applied to mitigate negative impacts of such ph
This book addresses issues of monitoring populations of tigers, ungulate prey species and habitat occupancy, with relevance to similar assessments of large mammal species and general biodiversity. It
This book is open access under a CC BY-NC 2.5 license.This book introduces new methods for measuring and analyzing residential segregation. It begins by placing all popular segregation indices i
This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and app
This book provides an extensive overview of the application of neutron characterization techniques in cultural heritage to a broad audience and will be of interest to both scientists and non-scientist
