The Inverse Method, Parametric Verification of Real-time Unbedded Systems, Wiley, Etienne André, Romain Soulat,Electronics engineering,Electronics and communications engineering, The Inverse Method, real time embedded systems, parametric timed automata, inverse method for parametric timed automata, behavioral cartography of timed automata, parameter synthesis for hybrid automata,,, , United States, en-UShttps://www.wiley.comThe Inverse Method, real time embedded systems, parametric timed automata, inverse method for parametric timed automata, behavioral cartography of timed automata, parameter synthesis for hybrid automata,, [BLURB],[CITY],,books, ebooks, biblet, Book2look