退出
我的积分:
中文文献批量获取
外文文献批量获取
刘嘉琛; 董磊; 赵长啸; 陈泓兵;
中国民航大学安全科学与工程学院;
中国民航大学民航航空器适航审定技术重点实验室;
天津市民用航空器适航与维修重点实验室;
分布式综合模块化航空电子; 动态重构; 架构分析与设计语言; 形式化方法; 仿真验证;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:基于仿真的CPS形式化建模的系统方法系统
机译:动态重构环境下基于空间的软件的形式化建模与验证
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:在基于多尺度Agent的仿真中形式化知识
机译:验证分散自适应系统的随机行为:a 基于形式化建模和仿真的方法
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:增强验证性能的基于仿真的验证装置及使用该验证装置的仿真方法
机译:实现高验证性能的基于仿真的验证装置及其使用的仿真方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。