Xiaoyan Wang

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Qualitative And Quantitative

Parameter Estimation

Conceptual Model

Top Venues

Publications

Qiang Li, Xiaoyan Wang, Shufen Liu
Quantitative model verification in VANET based on interval probabilistic timed automata. CSCWD (2014)
Xiaoyan Wang, Shufen Liu, Tongcheng Geng, Jun Zhang, Shuqiu Li
An interface automata based model for web service composition. CSCWD (2008)
Jun Peng, Shufen Liu, Jinyu Li, Xiaoyan Wang, Tingting Qin
A cooperative engagement system based on dynamic workflow. CSCWD (2008)
Xiaoyan Wang, Shufen Liu, Shuqiu Li
A Model Driven based Aspect Oriented Model Weaving Framework for Distributed System. CSCWD (2007)