机译:使用CSP模拟和验证OSEK / VDX OS中的定时保护机制
机译:使用OSEK / VDX操作系统的正式行为模式的可配置V&V框架
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:osk / vdx for Java
机译:植物原产地与Apis Mellifera L.在智利中央区域收集的花粉生物活性的关系=辣椒中央区植物中央区植物源与花粉载荷的关系
机译:LAILAPS-QSM:RESTful API和JAVA库用于语义查询建议
机译:OsEK / VDX的基于应用程序的EDF调度程序