Login / Signup
Xiaoqiong Han
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Metamodel
Formal Analysis
Top Venues
Int. J. Softw. Informatics
</>
Publications
</>
Meixia Zhu
,
Hanpin Wang
,
Xikui Liu
,
Xiaoqiong Han
Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.
Int. J. Softw. Informatics
6 (2) (2012)