2 Patents
- US122066782025Network Reachability Solving Algorithm Based on Formal Verification
ZHEJIANG UNIVERSITY
0 cites - US118684812024Method for Discovering Vulnerabilities of Operating System Access Control Mechanism Based on Model Checking
ZHEJIANG UNIVERSITY
0 cites