TY  - BOOK
AU  - Jard,Claude
AU  - Roux,Olivier H.
TI  - Communicating embedded systems: software and design : formal methods 
T2  - ISTE
SN  - 9781118558188
AV  - TK7895.E42 A387 2010
U1  - 621.39621.39/2621.392 
PY  - 2010///
CY  - London, Hoboken
PB  - ISTE, Ltd., Wiley
KW  - Embedded computer systems
KW  - Programming
KW  - Design and construction
KW  - Formal methods (Computer science)
KW  - M�ethodes formelles (Informatique)
KW  - COMPUTERS
KW  - Computer Engineering
KW  - bisacsh
KW  - Hardware
KW  - General
KW  - Machine Theory
KW  - fast
N1  - Includes bibliographical references and index; 1. Models for Embedded Real-time Systems, D. Lime, O.H. Roux and J. Srba -- 2. Timed Model-Checking, B. B�erard -- 3. Control of Timed Systems, F. Cassez, N. Markey -- 4. Fault Diagnosis of Timed Systems, F. Cassez, S. Tripakis -- 5. Quantitative Verification of Markov Chains, S. Donatelli, S. Haddad -- 6. Tools for Model-Checking Timed Systems, A. David et al -- 7. Tools for the Analysis of Hybrid Models, T. Dang, G. Frehse, A. Girard, C. Le Guernic
N2  - The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools
UR  - https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188
ER  -