Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Pujie Han, Zhengjun Zhai, Yanhong Lu and Yunxi Li

JNWPU, 37 6 (2019) 1302-1309

Published online: 11 February 2020

DOI: 10.1051/jnwpu/20193761302

Pujie Han

Zhengjun Zhai

Yanhong Lu

Yunxi Li

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)