01341nam a2200325 a 4500001001200000003000800012006001900020007001500039008004100054010001700095020001800112020002700130040002100157035002100178050002700199100002300226245014200249260006400391300002600455490006000481504005100541533015200592650003100744650003100775655002900806700002000835710001700855856012600872999001700998ebr10661503CaPaEBRm        u        cr cn|||||||||121031s2013    njua    sb    001 0 eng d  z  2012953075  z9781848214477  z9781118569405 (e-book)  aCaPaEBRcCaPaEBR  a(OCoLC)83455155414aTK7895.E42bA53 2013eb1 aAndr�e, Etienne.14aThe inverse methodh[electronic resource] :bparametric verification of real-time embedded systems /c�Etienne Andr�e, Romain Soulat.  aHoboken, N.J. :bISTE Ltd./John Wiley and Sons Inc.,c2013.  axviii, 150 p. :bill.0 aFocus series in computer engineering and IT,x2051-2481  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2013.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aEmbedded computer systems. 0aReal-time data processing. 7aElectronic books.2local1 aSoulat, Romain.2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10661503zAn electronic book accessible through the World Wide Web; click to view  c66808d66808