机译:形式化和验证的螺旋过程:以OSEK / VDX调度机制的验证为例
机译:使用OSEK / VDX操作系统的正式行为模式的可配置V&V框架
机译:使用CSP模拟和验证OSEK / VDX OS中的定时保护机制
机译:基于OSEK / VDX的RTOS的基于模型的形式一致性验证
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:使用Monte Carlo计算对组织异质性校正保形治疗计划RTOG 0813肺癌立体定向体放射治疗后的组织异质性校正保形治疗计划的剂量测定
机译:Trampoline OsEK / VDX RTOs规范的Opensource实现