Login / Signup
Chunling Sheng
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Evolutionary Algorithm
Metamodel
Concurrent Systems
Top Venues
HP3C
</>
Publications
</>
Pei Hong
,
Chunling Sheng
,
Xiaohu Luo
,
Yueyuan Jin
,
Ruonan Rao
OACV: OCL-based Avionics Component Verification.
HP3C
(2020)