The inverse method : parametric verification of real-time embedded systems André, Etienne. creator Soulat, Romain. text bibliography Electronic books. enk London Hoboken, N.J ISTE Wiley 2013 monographic eng
electronic resource
1 online resource (xviii, 150 pages) : illustrations. 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. Étienne André, Romain Soulat. Includes bibliographical references (pages 137-147) and index. Embedded computer systems Computer systems Verification Embedded computer systems Computer systems Verification COMPUTERS General Computer systems Verification Embedded computer systems Embedded computer systems Computer systems / Verification TK7895.E42 .A53 2013eb 006.22 Inverse method André, Étienne. London : ISTE ; Hoboken, N.J. : Wiley, 2013 (DLC) 2012953075 (OCoLC)828037066 Focus series in computer engineering and IT 9781118569351 1118569350 9781118569405 1118569407 9781118569351 CL0500000291 Safari Books Online http://onlinelibrary.wiley.com/book/10.1002/9781118569351 http://onlinelibrary.wiley.com/book/10.1002/9781118569351 N$T 130304 20171107090514.0 ocn828869668 eng