Login / Signup
HanYong Hao
Publication Activity (10 Years)
Years Active: 2004-2016
Publications (10 Years): 1
Top Topics
Formal Specification
Model Checker
Temporal Logic
Constraint Satisfaction Problems
Top Venues
QRS Companion
</>
Publications
</>
Zhipeng Shao
,
HanYong Hao
,
Yuanyuan Ma
,
Chen Wang
,
Jiaxuan Fei
Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT.
QRS Companion
(2016)
HanYong Hao
,
Zengqi Sun
,
Yu Zhang
Fault Diagnosis on Satellite Attitude Control with Dynamic Neural Network.
ISNN (2)
(2004)