schedulability analysis; model checking; CSP; timed CSP; PAT; real-time systems;
机译:冷却性能时间序列CSP工厂:使用回归和ANN模型计算和分析
机译:基于实时调度规则的生产调度仿真建模与分析:以水果罐头行业为例
机译:响应建模运行时调度程序,用于对自定时数据流图进行时序分析
机译:使用PAT模型检查器定时CSP模型的调度分析
机译:Java建模语言的运行时断言检查器。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:使用paT模型检查器对定时Csp模型进行可调度性分析