Abdeslam En-Nouaary. A test purpose-based approach for testing timed input output automata. Softw. Test., Verif. Reliab., 23(1):53-76, 2013. [doi]
@article{En-Nouaary13, title = {A test purpose-based approach for testing timed input output automata}, author = {Abdeslam En-Nouaary}, year = {2013}, doi = {10.1002/stvr.453}, url = {http://dx.doi.org/10.1002/stvr.453}, researchr = {https://researchr.org/publication/En-Nouaary13}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {23}, number = {1}, pages = {53-76}, }