12
Publications
608
Citations
4
h-index
3
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (11)
- Book Chapter (1)
Filter by Open Access Type
- Open Access (2)
- Closed Access (10)
Filter by Authors
- Wenli Duo (12)
- Shouguang Wang (8)
- Dan You (6)
- MengChu Zhou (6)
- Hao Dou (4)
Filter by Topics
- Petri Nets in System Modeling (8)
- Smart Grid Security and Resilience (7)
- Formal Methods in Verification (5)
- Real-Time Systems Scheduling (4)
- Security and Verification in Computing (4)