Rachid Bouaziz, Ismail Berrada. Optimal tester synthesis for real-time systems. In Djamal Benslimane, Aris M. Ouksel, editors, Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE '08, Lyon, France, June 23-27, 2008. ACM, 2008. [doi]
@inproceedings{BouazizB08-0,
title = {Optimal tester synthesis for real-time systems},
author = {Rachid Bouaziz and Ismail Berrada},
year = {2008},
doi = {10.1145/1416729.1416747},
url = {https://doi.org/10.1145/1416729.1416747},
researchr = {https://researchr.org/publication/BouazizB08-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE '08, Lyon, France, June 23-27, 2008},
editor = {Djamal Benslimane and Aris M. Ouksel},
publisher = {ACM},
isbn = {978-1-59593-937-1},
}