Login / Signup
Zheke Yuan
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Transition Systems
Temporal Properties
Model Checking
Formal Specification
Top Venues
Int. J. Sens. Networks
J. Supercomput.
</>
Publications
</>
Zheke Yuan
,
Jun Niu
,
Xurong Lu
,
Fangmeng Yang
Identify spatio-temporal properties of network traffic by model checking.
J. Supercomput.
79 (16) (2023)
Jia Wang
,
Jun Niu
,
Zheke Yuan
,
Fan Fei
Spatial properties verification approach of wireless sensor networks using model checking.
Int. J. Sens. Networks
40 (3) (2022)