退出
我的积分:
中文文献批量获取
外文文献批量获取
张可迪; 舒绍娴; 董威;
国防科学技术大学计算机学院;
湖南长沙410073;
嵌入式操作系统; FreeRTOS; 运行时验证; 规约语言; 三值语义监控器;
机译:一种新的基于手动运动的身份验证方法,使用具有Hotelling的统计信息的特征重要性选择
机译:一种综合的主管自主验证和验证方法
机译:一种新型掩模验证方法
机译:一种事件驱动的组织间编排运行时验证方法
机译:一种工具主义的验证方法:一种新型煤气化模型的定量评估。
机译:一点点阻尼有很长的路要走了:一种模拟研究如何阻尼在运行时对任务级稳定性影响
机译:Vedalogic:一种基于挖掘模型的气候数据验证方法Vedalogic:一种基于数据挖掘模型的气候数据验证方法
机译:EOs(嵌入式操作系统):一个研究实时分布式嵌入式操作系统的设计和构建的项目。
机译:一种用于测试和验证具有嵌入式操作系统的设备的系统和方法
机译:机动车的双磁点火运行时间数据测量和验证方法飞机,涉及在两个电磁点火的确定数据内实现点火特性差异的比较
机译:开式过滤器运行时间验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。