Process control; Scheduling; Safety; Control systems; Automation;
机译:基于方法架构的安全关键软件开发与运营知识集成方法
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:集成了面向对象的安全关键软件的非正式和正式开发
机译:安全关键管理系统的集成-安全关键离散系统的集成
机译:将离散事件模拟集成到生产系统的设计和操作中。
机译:时间步长重新缩放可恢复连续时间动态非平衡离散兰格文积分的性质系统篇
机译:基于方法架构的安全关键软件开发与运营的知识集成方法