Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pujie Han
Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering