Get This : The inverse method [electronic resource] : parametric verification of real-time embedded systems / Étienne André, Romain Soulat.

Title : The inverse method [electronic resource] : parametric verification of real-time embedded systems / Étienne André, Romain Soulat.

Call Number : No call number

Status : Unknown