Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He. Automated Runtime Validation of Software Architecture Design. In Goutam Chakraborty, editor, Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings. Volume 3816 of Lecture Notes in Computer Science, pages 446-457, Springer, 2005. [doi]
Abstract is missing.