Parameter Generation for Hierarchical Scheduling Systems Based on Model CheckingPujie Han, Zhengjun Zhai, Yanhong Lu and Yunxi LiJNWPU, 37 6 (2019) 1302-1309DOI: https://doi.org/10.1051/jnwpu/20193761302
