1.Centro de Ciência e Tecnologia Agroalimentar (CCTA), Federal University of Campina Grande (UFCG), Pombal, PB, Brazil ;2.Software Practices Laboratory (SPLab), Federal University of Campina Grande (UFCG), Campina Grande, PB, Brazil ;
Abstract:
International Journal on Software Tools for Technology Transfer - Symbolic models for testing real-time systems that abstract both data and time have been investigated. The goal is to address the...