Login / Signup

Testing real-time systems from compositional symbolic specifications.

Adriana Carla DamascenoPatrícia D. L. MachadoWilkerson de L. Andrade
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases