退出
我的积分:
中文文献批量获取
外文文献批量获取
罗爱民;
国防科技大学C4ISR技术国防科技重点实验室;
长沙410073;
体系结构; 可执行模型; 评估; Petri网;
机译:基于系统动力学的可执行体系结构:由标准系统动力学建模和DoDAF操作视图模型组成的集成方法。
机译:一种在运行时对可执行文件进行内核级验证的体系结构
机译:介绍使用黑板技术和形式模型进行软件体系结构评估的可执行模型
机译:将可执行上下文添加到可执行体系结构:转向系统级体系结构的基于知识的验证范式
机译:将可执行上下文添加到可执行体系结构:启用可执行上下文模拟框架(ECSF)
机译:SASC:用于智能物联网的基于安全和基于身份验证的传感器云体系结构
机译:在运行时有效验证的确定性可执行模型:机器人和嵌入式系统的体系结构
机译:基于fUmL的可执行体系结构建模与仿真。
机译:基于模型提取的基于图形的可执行控制规范的验证方法
机译:基于组件模型的虚拟软件平台的生成方法,使用该模型的软件平台体系结构的验证方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。