Xiaoping Che, Stephane Maag. A Formal Passive Performance Testing Approach for Distributed Communication Systems. In Leszek A. Maciaszek, Joaquim Filipe, editors, ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers, France, 4-6 July, 2013. pages 74-84, SciTePress, 2013. [doi]
Abstract is missing.