César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal Correctness of a Passive Testing Approach for Timed Systems. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 67-76, IEEE Computer Society, 2009. [doi]
@inproceedings{AndresMN09a,
title = {Formal Correctness of a Passive Testing Approach for Timed Systems},
author = {César Andrés and Mercedes G. Merayo and Manuel Núñez},
year = {2009},
doi = {10.1109/ICSTW.2009.34},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.34},
researchr = {https://researchr.org/publication/AndresMN09a},
cites = {0},
citedby = {0},
pages = {67-76},
booktitle = {Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3671-2},
}