Xiao Wu, Heng Ling, Yunwei Dong. On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 572-577, IEEE, 2009. [doi]
Abstract is missing.