退出
我的积分:
中文文献批量获取
外文文献批量获取
张健; 丁岳伟;
上海理工大学,计算机工程学院,上海,200093;
COSMIC全功能点; 功能规模测量方法; 实时UML;
机译:UML-RT模型的特定于语言的模型检查
机译:基于Time Petri网络模型的实时软件在线测试方法
机译:通过基于跟踪的语义检查UML-RT模型的行为一致性
机译:用于基于模型的嵌入式实时软件设计和分析的技术和工具。
机译:基于轮廓集的淋巴结水平和头颈部风湿器官的基于图集的干预与实时软件反馈相结合的前瞻性评估:符合专家描述的定量评估
机译:嵌入式实时软件的集成MARTE和基于组件的方法学组件模型的元模型验证
机译:基于模型的图像处理眼动测量方法
机译:基于虚拟模型的海洋结构稳定性测量方法及基于该模型的稳定性测量系统
机译:剧院火幕的性能测量装置采用缩小规模模型,性能测量方法使用相同
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。