Login / Signup
Jiankun Xu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Test Cases
Software Requirements
Formal Models
Knowledge Sharing And Reuse
Top Venues
SAFEPROCESS
</>
Publications
</>
Jiankun Xu
,
Lingling Zheng
,
Junhu Li
,
Wentao Wang
Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software.
SAFEPROCESS
(2023)