TY - CHAP A1 - F. Herrera A2 - I. Ugarte ED1 - Kiyofumi Tanaka Y1 - 2012-03-02 PY - 2012 T1 - Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off N2 - Nowadays, embedded systems - the computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permitted various aspects of industry. Therefore, we can hardly discuss our life and society from now onwards without referring to embedded systems. For wide-ranging embedded systems to continue their growth, a number of high-quality fundamental and applied researches are indispensable. This book contains 19 excellent chapters and addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. Embedded systems can be made only after fusing miscellaneous technologies together. Various technologies condensed in this book will be helpful to researchers and engineers around the world. BT - Embedded Systems SP - Ch. 12 UR - https://doi.org/10.5772/37476 DO - 10.5772/37476 SN - PB - IntechOpen CY - Rijeka Y2 - 2021-10-26 ER -