Moez Krichen, Stavros Tripakis. An Expressive and Implementable Formal Framework for Testing Real-Time Systems. In Ferhat Khendek, Rachida Dssouli, editors, Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Volume 3502 of Lecture Notes in Computer Science, pages 209-225, Springer, 2005. [doi]
@inproceedings{KrichenT05a, title = {An Expressive and Implementable Formal Framework for Testing Real-Time Systems}, author = {Moez Krichen and Stavros Tripakis}, year = {2005}, doi = {10.1007/11430230_15}, url = {http://dx.doi.org/10.1007/11430230_15}, tags = {testing}, researchr = {https://researchr.org/publication/KrichenT05a}, cites = {0}, citedby = {0}, pages = {209-225}, booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings}, editor = {Ferhat Khendek and Rachida Dssouli}, volume = {3502}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26054-4}, }