centralised control; control engineering computing; control systems; distributed control; real-time systems; communication interface; distributed real-time control system; end control devices; intelligent nodes;
机译:基于形式的贝叶斯方法基于先验需求信息的实时供水系统水力建模
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:具有离散概率分布的实时系统的形式细化验证方法
机译:形式化方法在实时控制分配中的应用
机译:实时系统形式验证的定量方法
机译:形式化方法在解密离散遗传网络中的应用
机译:一种形式化的实时控制分配方法的应用