The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat. [electronic resource] André, Etienne. Soulat, Romain. Embedded computer systems. Computer systems Verification. TK7895.E42 .A53 2013eb 006.22 23 Includes bibliographical references (pages 137-147) and index. Print version record. London : ISTE ; Hoboken, N.J. : Wiley, 2013. 2013. 2013 Text 1 online resource (xviii, 150 pages) : http://onlinelibrary.wiley.com/book/10.1002/9781118569351 eng Focus series in computer engineering and IT Focus series in computer engineering and IT. Inverse method. Inverse method.