Login / Signup
Guang-Lian Ma
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Modeling Method
Software Application
Real Time
Verification Method
Top Venues
J. Comput. Sci. Technol.
</>
Publications
</>
Deshuai Han
,
Qiliang Yang
,
Jianchun Xing
,
Guang-Lian Ma
EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software.
J. Comput. Sci. Technol.
35 (5) (2020)