Login / Signup
Wenyong Sun
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Upper Bound
Temporal Logic
Face Verification
Software Platform
Top Venues
Reliab. Eng. Syst. Saf.
</>
Publications
</>
Lin Cui
,
Yidan Shu
,
Zhaohui Wang
,
Jinsong Zhao
,
Tong Qiu
,
Wenyong Sun
,
Zhenqiang Wei
HASILT: An intelligent software platform for HAZOP, LOPA, SRS and SIL verification.
Reliab. Eng. Syst. Saf.
108 (2012)