| 000 | 03345cam a2200793Ka 4500 | ||
|---|---|---|---|
| 001 | ocn828869668 | ||
| 003 | OCoLC | ||
| 005 | 20171224114220.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130304s2013 enka ob 001 0 eng d | ||
| 040 |
_aN$T _beng _epn _cN$T _dYDXCP _dCUS _dDG1 _dIDEBK _dOCLCO _dUMI _dCOO _dDEBSZ _dUKDOC _dOCLCQ _dOCLCF _dDEBBG _dOCLCQ |
||
| 019 | _a858283994 | ||
| 020 | _a9781118569351 | ||
| 020 | _a1118569350 | ||
| 020 |
_a9781118569405 _q(electronic bk.) |
||
| 020 |
_a1118569407 _q(electronic bk.) |
||
| 020 |
_a9781118569351 _q(electronic bk.) |
||
| 020 | _z9781848214477 | ||
| 020 | _z1848214472 | ||
| 029 | 1 |
_aAU@ _b000051629240 |
|
| 029 | 1 |
_aAU@ _b000052007322 |
|
| 029 | 1 |
_aAU@ _b000052334876 |
|
| 029 | 1 |
_aDEBBG _bBV041432418 |
|
| 029 | 1 |
_aDEBBG _bBV041908867 |
|
| 029 | 1 |
_aDEBSZ _b398283346 |
|
| 029 | 1 |
_aDKDLA _b820120-katalog:000655893 |
|
| 029 | 1 |
_aGBVCP _b785371818 |
|
| 029 | 1 |
_aNZ1 _b15022303 |
|
| 029 | 1 |
_aNZ1 _b15340494 |
|
| 029 | 1 |
_aDEBBG _bBV043395553 |
|
| 035 |
_a(OCoLC)828869668 _z(OCoLC)858283994 |
||
| 037 |
_aCL0500000291 _bSafari Books Online |
||
| 050 | 4 |
_aTK7895.E42 _b.A53 2013eb |
|
| 072 | 7 |
_aCOM _x000000 _2bisacsh |
|
| 082 | 0 | 4 |
_a006.22 _223 |
| 049 | _aMAIN | ||
| 100 | 1 | _aAndré, Etienne. | |
| 245 | 1 | 4 |
_aThe inverse method : _bparametric verification of real-time embedded systems / _cÉtienne André, Romain Soulat. |
| 260 |
_aLondon : _bISTE ; _aHoboken, N.J. : _bWiley, _c2013. |
||
| 300 |
_a1 online resource (xviii, 150 pages) : _billustrations. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 | _aFocus series in computer engineering and IT | |
| 504 | _aIncludes bibliographical references (pages 137-147) and index. | ||
| 505 | 0 | _aParametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index. | |
| 588 | 0 | _aPrint version record. | |
| 650 | 0 | _aEmbedded computer systems. | |
| 650 | 0 |
_aComputer systems _xVerification. |
|
| 650 | 4 | _aEmbedded computer systems. | |
| 650 | 4 |
_aComputer systems _xVerification. |
|
| 650 | 7 |
_aCOMPUTERS _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aComputer systems _xVerification. _2fast _0(OCoLC)fst01750859 |
|
| 650 | 7 |
_aEmbedded computer systems. _2fast _0(OCoLC)fst00908298 |
|
| 650 | 7 |
_aEmbedded computer systems. _2local |
|
| 650 | 7 |
_aComputer systems / Verification. _2local |
|
| 655 | 4 | _aElectronic books. | |
| 700 | 1 | _aSoulat, Romain. | |
| 776 | 0 | 8 |
_iPrint version: _aAndré, Étienne. _tInverse method. _dLondon : ISTE ; Hoboken, N.J. : Wiley, 2013 _z9781848214477 _w(DLC) 2012953075 _w(OCoLC)828037066 |
| 830 | 0 | _aFocus series in computer engineering and IT. | |
| 856 | 4 | 0 |
_uhttp://onlinelibrary.wiley.com/book/10.1002/9781118569351 _zWiley Online Library |
| 938 |
_a123Library _b123L _n93850 |
||
| 938 |
_aEBSCOhost _bEBSC _n543183 |
||
| 938 |
_aIngram Digital eBook Collection _bIDEB _ncis24878992 |
||
| 938 |
_aYBP Library Services _bYANK _n9984855 |
||
| 938 |
_aYBP Library Services _bYANK _n10227722 |
||
| 994 |
_a92 _bDG1 |
||
| 999 |
_c12547 _d12547 |
||