Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
Specification-Based Testing for Real-Time Reactive Systems
TOOLS, 2000.
@inproceedings{TOOLS-USA-2000-AlagarOZ,
author = "Vangalur S. Alagar and Olga Ormandjieva and Mao Zheng",
booktitle = "{Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems}",
doi = "10.1109/TOOLS.2000.868956",
isbn = "0-7695-0774-3",
pages = "25--36",
publisher = "{IEEE Computer Society}",
title = "{Specification-Based Testing for Real-Time Reactive Systems}",
year = 2000,
}