Cited By
View all- Wang YTian Y(2012)Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.20120401054:2(81-104)Online publication date: 1-Apr-2012
- Wang YAdewumi A(2012)The Formal Design Models of Digraph Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.20120101054:1(100-129)Online publication date: 1-Jan-2012
- Wang YTan X(2011)The Formal Design Models of Tree Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.20111001063:4(84-108)Online publication date: 1-Oct-2011
- Show More Cited By