| 000 | 05462cam a2200997Mi 4500 | ||
|---|---|---|---|
| 001 | ocn828298965 | ||
| 003 | OCoLC | ||
| 005 | 20240523125535.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130223s2010 enk ob 001 0 eng d | ||
| 010 | _a 2009026282 | ||
| 040 |
_aEBLCP _beng _epn _cEBLCP _dYDXCP _dDG1 _dN$T _dUMI _dOCLCQ _dDEBSZ _dOCLCF _dOCLCO _dOCLCQ _dOCLCO _dIDEBK _dE7B _dOCLCO _dDEBBG _dOCLCQ _dOCLCO _dCOO _dOCLCO _dOCLCQ _dOCLCO _dLOA _dOCLCO _dOCLCQ _dCOCUF _dDG1 _dMOR _dCCO _dLIP _dPIFBY _dMERUC _dOCLCQ _dZCU _dU3W _dOCLCQ _dSTF _dWRM _dICG _dINT _dVT2 _dCEF _dOCLCQ _dWYU _dOCLCQ _dUAB _dDKC _dOCLCQ _dUKAHL _dOCLCQ _dUKCRE _dOCLCO _dOCLCQ _dOCLCO _dOCLCL |
||
| 019 |
_a842860162 _a857718082 _a960201456 _a961504619 _a988510488 _a992113236 _a992928317 _a1037784474 _a1038593798 _a1055319771 _a1066580397 _a1081193376 _a1103272873 _a1129363259 _a1152999540 |
||
| 020 |
_a9781118558188 _q(electronic bk.) |
||
| 020 |
_a1118558189 _q(electronic bk.) |
||
| 020 |
_a9781118600122 _q(electronic bk.) |
||
| 020 |
_a1118600126 _q(electronic bk.) |
||
| 020 | _a9781118600092 | ||
| 020 | _a1118600096 | ||
| 020 | _a1848211430 | ||
| 020 | _a9781848211438 | ||
| 020 |
_a1299187455 _q(ebk) |
||
| 020 |
_a9781299187450 _q(ebk) |
||
| 020 | _z9781848211438 | ||
| 029 | 1 |
_aAU@ _b000050718494 |
|
| 029 | 1 |
_aAU@ _b000052006660 |
|
| 029 | 1 |
_aAU@ _b000060074203 |
|
| 029 | 1 |
_aCHNEW _b000941266 |
|
| 029 | 1 |
_aCHVBK _b480215413 |
|
| 029 | 1 |
_aDEBBG _bBV041432031 |
|
| 029 | 1 |
_aDEBBG _bBV041906302 |
|
| 029 | 1 |
_aDEBBG _bBV043395468 |
|
| 029 | 1 |
_aDEBBG _bBV044172849 |
|
| 029 | 1 |
_aDEBSZ _b398279217 |
|
| 029 | 1 |
_aDEBSZ _b400440873 |
|
| 029 | 1 |
_aDEBSZ _b431338299 |
|
| 035 |
_a(OCoLC)828298965 _z(OCoLC)842860162 _z(OCoLC)857718082 _z(OCoLC)960201456 _z(OCoLC)961504619 _z(OCoLC)988510488 _z(OCoLC)992113236 _z(OCoLC)992928317 _z(OCoLC)1037784474 _z(OCoLC)1038593798 _z(OCoLC)1055319771 _z(OCoLC)1066580397 _z(OCoLC)1081193376 _z(OCoLC)1103272873 _z(OCoLC)1129363259 _z(OCoLC)1152999540 |
||
| 037 |
_aCL0500000277 _bSafari Books Online |
||
| 041 | 1 |
_aeng _hfre |
|
| 050 | 4 |
_aTK7895.E42 _bA387 2010 |
|
| 072 | 7 |
_aCOM _x059000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x067000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x037000 _2bisacsh |
|
| 082 | 0 | 4 |
_a621.39 _a621.39/2 _a621.392 |
| 049 | _aMAIN | ||
| 130 | 0 |
_aApproches formelles des syst�emes embarqu�es communicants. _lEnglish. |
|
| 245 | 1 | 0 |
_aCommunicating embedded systems : _bsoftware and design : formal methods / _cedited by Claude Hard, Olivier H. Roux. |
| 260 |
_aLondon : _bISTE, Ltd. ; _aHoboken : _bWiley, _c2010. |
||
| 300 | _a1 online resource (275 pages) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 | _aISTE | |
| 520 | _aThe 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. | ||
| 505 | 0 | _a1. 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. | |
| 504 | _aIncludes bibliographical references and index. | ||
| 588 | 0 | _aPrint version record. | |
| 590 |
_aJohn Wiley and Sons _bWiley Online Library: Complete oBooks |
||
| 650 | 0 |
_aEmbedded computer systems _xProgramming. |
|
| 650 | 0 |
_aEmbedded computer systems _xDesign and construction. |
|
| 650 | 0 | _aFormal methods (Computer science) | |
| 650 | 6 | _aM�ethodes formelles (Informatique) | |
| 650 | 7 |
_aCOMPUTERS _xComputer Engineering. _2bisacsh |
|
| 650 | 7 |
_aCOMPUTERS _xHardware _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aCOMPUTERS _xMachine Theory. _2bisacsh |
|
| 650 | 7 |
_aEmbedded computer systems _xDesign and construction _2fast |
|
| 650 | 7 |
_aEmbedded computer systems _xProgramming _2fast |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast |
|
| 700 | 1 | _aJard, Claude. | |
| 700 | 1 | _aRoux, Olivier H. | |
| 758 |
_ihas work: _aCommunicating embedded systems (Text) _1https://id.oclc.org/worldcat/entity/E39PCGgV4pY6m8vM3H6dx48q6X _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrint version: _aJard, Claude. _tCommunicating Embedded Systems : Software and Design. _dLondon : Wiley, �2013 _z9781848211438 |
| 830 | 0 | _aISTE. | |
| 856 | 4 | 0 | _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 |
| 938 |
_aAskews and Holts Library Services _bASKH _nAH24971772 |
||
| 938 |
_aAskews and Holts Library Services _bASKH _nAH24971770 |
||
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL1124321 |
||
| 938 |
_aebrary _bEBRY _nebr10658441 |
||
| 938 |
_aEBSCOhost _bEBSC _n536062 |
||
| 938 |
_aProQuest MyiLibrary Digital eBook Collection _bIDEB _ncis24807222 |
||
| 938 |
_aYBP Library Services _bYANK _n10196204 |
||
| 938 |
_aYBP Library Services _bYANK _n9984785 |
||
| 938 |
_aYBP Library Services _bYANK _n12676468 |
||
| 994 |
_a92 _bINLUM |
||
| 999 |
_c11885 _d11885 |
||