A novel ATS design method based on formalization is presented, and ATS using parallel task scheduling algorithms is modeled with CPN.

 
  • 提出了一種基于形式化方法的自動(dòng)測試系統組建方法,建立了并行任務(wù)調度算法的自動(dòng)測試系統有色Petri網(wǎng)模型。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan