...
机译:使用CSP模拟和验证OSEK / VDX OS中的定时保护机制
National Trusted Embedded Software Engineering Technology Research Center East China Normal University;
Shanghai Key Laboratory of Trustworthy Computing East China Normal University;
National Trusted Embedded Software Engineering Technology Research Center East China Normal University;
Operating system; Modeling; Timing protection; Verification;
机译:形式化和验证的螺旋过程:以OSEK / VDX调度机制的验证为例
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:验证OSEK / VDX应用程序:基于序列化的模型检查方法
机译:使用CSP建模和验证代码级OSEK / VDX操作系统
机译:瞬息万变的世界中的生殖时机:了解与生殖时机决策相关的机制和成本
机译:与间歇性低压缺氧暴露相关的大鼠心血管保护机制:氧化应激的作用
机译:基于属性的代码切片可有效验证OsEK / VDX操作系统