公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | |||
2011 | Intelligent test oracle construction for reactive systems without explicit specifications | Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG | Proceedings - IEEE 9th International Conference on Dependable, Autonomic and Secure Computing, DASC 2011 |