n-version programming; worst-case execution time; wcet; real-time systems; safety-critical systems; static analysis; java; wcet annotations;
机译:具有期限机制的n版本编程的可靠性分析
机译:N版本编程应用程序的系统可靠性分析
机译:障碍同步并发程序的死锁和WCET分析
机译:WCET分析中的N版本编程:重新审视一个不可信的想法
机译:绘制马萨诸塞州租赁凭证计划:移动凭证持有人的机会和理想市场的空间分析。
机译:着重于可视化的理想点判别分析
机译:采用模糊方法对N-Version编程的嵌入式系统的可用性分析
机译:高速公路创新值得探索性分析计划(IDEa)计划:自供电传感器和桥梁执行器;最终的评论