退出
我的积分:
中文文献批量获取
外文文献批量获取
陈鑫; 李宣东;
南京大学;
计算机科学与技术系;
江苏;
南京;
210093;
计算机软件新技术国家重点实验室(南京大学);
用例模型; 语义; 多视图; 一致性检验; 最弱前提条件;
机译:基于灵敏度分析的变量筛选与可靠性优化用于复合机身框架抗撞性设计
机译:基于新型基于形式Agent的艾滋病复杂自适应系统仿真建模框架
机译:基于向量的3D图形静态:基于形式和力之间的关系的空间结构设计的框架
机译:SoS的π演算:用于软件密集型系统的形式化建模的新型π演算
机译:基于知识的自动化用户界面演示设计工具框架
机译:ECG建模的设计与优化用于产生不同心肌缺血性
机译:基于多保真建模的复合结构设计优化的基于多保性建模框架
机译:用于分布式系统的形式化建模,分析和开发的可扩展和可扩展的框架。
机译:通过基于物理的蚀刻轮廓建模框架通过快速边缘放置错误预测来进行光致抗蚀剂设计布局图案的邻近校正
机译:-通过基于物理的蚀刻轮廓建模框架,通过快速边缘定位误差预测来实现光敏抗蚀剂设计布局图案的接近度校正
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。