Duncan Clarke, Insup Lee. Testing-Based Analysis of Real-Time System Models. In Proceedings IEEE International Test Conference 1996, Test and Design Validity, Washington, DC, USA, October 20-25, 1996. pages 894-903, IEEE Computer Society, 1996.
@inproceedings{ClarkeL96, title = {Testing-Based Analysis of Real-Time System Models}, author = {Duncan Clarke and Insup Lee}, year = {1996}, tags = {rule-based, testing, analysis}, researchr = {https://researchr.org/publication/ClarkeL96}, cites = {0}, citedby = {0}, pages = {894-903}, booktitle = {Proceedings IEEE International Test Conference 1996, Test and Design Validity, Washington, DC, USA, October 20-25, 1996}, publisher = {IEEE Computer Society}, isbn = {0-7803-3541-4}, }