@inproceedings{14635367430a4bb08782dfe66cc1040c,
title = "A Framework for Off-Line Conformance Testing of Timed Connectors",
keywords = "Conformance Testing, Reo, Timed Connector, UPPAAL",
author = "Shaodong Li and Xiaohong Chen and Yiwu Wang and Meng Sun",
note = "Funding Information: The work was partially supported by the NSFC under grant no. 61202069 and 61272160, and Research Fund for the Doctoral Program of Higher Education of China under grant no. 20120001120103. The authors are indebted to Dr. Jun Sun for helpful discussions. Publisher Copyright: {\textcopyright} 2015 IEEE.; International Symposium on Theoretical Aspects of Software Engineering, TASE 2015 ; Conference date: 12-09-2015 Through 14-09-2015",
year = "2015",
month = oct,
day = "26",
doi = "10.1109/TASE.2015.9",
language = "English",
series = "Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "15--22",
booktitle = "Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015",
}