退出
我的积分:
中文文献批量获取
外文文献批量获取
马杰波; 付明; 冯新宇;
中国科学技术大学计算机科学与技术学院,合肥230026;
中国科学技术大学苏州研究院软件安全实验室,江苏苏州215123;
μC/OS-Ⅱ; 形式化验证; 消息队列; 安全性; Coq;
机译:基于椭圆曲线加密和消息队列遥测传输协议的基于椭圆曲线加密和消息队列遥测传输协议的能量感知动态互联网
机译:新型Os-二烯烃二聚体的制备与表征:Os-环辛二烯配合物的新进入
机译:在Hadoop集群中制定一个案例,用于在Hadoop集群中的按需多分布式消息队列系统
机译:高级综合中调度的形式化验证方法
机译:催化氧化:非均相催化臭氧氧化和二氧与OS-碳酸氢盐聚合物的反应(时钟反应)。
机译:SfiI限制性内切核酸酶中两个DNA结合位点之间的通信机制中的开关。
机译:新型os-二烯烃二聚体的制备和表征:os-环辛二烯络合物的新进入
机译:调试器访问mpI中的消息队列信息的标准接口
机译:监视消息队列信息系统中的消息队列并启动批处理作业以对消息队列执行功能
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:消息队列管理设备,消息队列管理方法和消息队列管理程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。