Login / Signup
Qing She
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Metamodel
Decision Trees
Temporal Evolution
Finite State Machines
Top Venues
REFSQ Workshops
</>
Publications
</>
Jian Shi
,
Jianqi Shi
,
Yanhong Huang
,
Jiawen Xiong
,
Qing She
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.
REFSQ Workshops
(2019)