Jinmiao Xu

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Hierarchical Model

Qualitative Simulation

Software Systems

Test Case Generation

Top Venues

Publications

Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. MEMOCODE (2018)