Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong. Real-Time Relational Interface Behavior Modeling and Specification. In Third International Conference on Knowledge and Systems Engineering, KSE 2011, Hanoi, Vietnam, October 14-17, 2011. pages 112-119, IEEE, 2011. [doi]
Abstract is missing.