the inverse method: parametric verification of real-time unbedded systems (en Inglés)

andr?, etienne · wiley-iste