Communicating embedded systems :  software and design : formal methods / 
edited by Claude Hard, Olivier H. Roux. 
 - London :  Hoboken :  ISTE, Ltd. ;  Wiley,  2010. 
 - 1 online resource (275 pages) 
 - ISTE .
 - ISTE. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450 
<br/><br/><label>Source: </label>CL0500000277  Safari Books Online 
<br/><br/><label>LCCN: </label>2009026282 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Programming.<br/>Embedded computer systems--Design and construction.<br/>Formal methods (Computer science)<br/>M�ethodes formelles (Informatique)<br/>COMPUTERS--Computer Engineering.<br/>COMPUTERS--Hardware--General.<br/>COMPUTERS--Machine Theory.<br/>Embedded computer systems--Design and construction<br/>Embedded computer systems--Programming<br/>Formal methods (Computer science)
<br/><br/><label>LC Class. No.: </label>TK7895.E42  / A387 2010 
<br/><br/><label>Dewey Class. No.: </label>621.39  621.39/2  621.392