03092cam a2200721Ka 4500 ocn828869668 OCoLC 20171107090514.0 m o d cr cnu---unuuu 130304s2013 enka ob 001 0 eng d 9781118569351 1118569350 9781118569405 (electronic bk.) 1118569407 (electronic bk.) 9781118569351 (electronic bk.) 9781848214477 1848214472 AU@ 000051629240 AU@ 000052007322 AU@ 000052334876 DEBBG BV041432418 DEBBG BV041908867 DEBSZ 398283346 DKDLA 820120-katalog:000655893 GBVCP 785371818 NZ1 15022303 NZ1 15340494 DEBBG BV043395553 (OCoLC)828869668 (OCoLC)858283994 CL0500000291 Safari Books Online N$T eng pn N$T YDXCP CUS DG1 IDEBK OCLCO UMI COO DEBSZ UKDOC OCLCQ OCLCF DEBBG OCLCQ MAIN TK7895.E42 .A53 2013eb COM 000000 bisacsh 006.22 23 André, Etienne. The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat. [electronic resource] London : ISTE ; Hoboken, N.J. : Wiley, 2013. 1 online resource (xviii, 150 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Focus series in computer engineering and IT Includes bibliographical references (pages 137-147) and index. Parametric 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. Print version record. Embedded computer systems. Computer systems Verification. Embedded computer systems. Computer systems Verification. COMPUTERS General. bisacsh Computer systems Verification. fast (OCoLC)fst01750859 Embedded computer systems. fast (OCoLC)fst00908298 Embedded computer systems. local Computer systems / Verification. local Electronic books. Soulat, Romain. Print version: André, Étienne. Inverse method. London : ISTE ; Hoboken, N.J. : Wiley, 2013 9781848214477 (DLC) 2012953075 (OCoLC)828037066 Focus series in computer engineering and IT. http://onlinelibrary.wiley.com/book/10.1002/9781118569351 Wiley Online Library ddc BK 206528 206528