Adriana Carla Damasceno, PatrĂcia D. L. Machado, Wilkerson de L. Andrade. Testing real-time systems from compositional symbolic specifications. STTT, 19(1):53-71, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.