Safety engineering; Hanford Reservation; Verification; Electrical systems;
机译:应用调度程序测试用例技术验证多处理器定时触发的嵌入式系统中的调度程序实现
机译:形式化和验证的螺旋过程:以OSEK / VDX调度机制的验证为例
机译:用于在包括验证的面板上消除积雪的光伏电池电加热系统
机译:使用数据决策图验证多核可调度性
机译:带有偏转面板的垂直轴风力发电机:单个面板的Comsol 2D模拟。
机译:混合元启发式算法求解模糊单批处理机调度问题
机译:FmEF电气单线图和面板计划验证过程
机译:Fmef电气单线图和面板计划验证过程