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