退出
我的积分:
中文文献批量获取
外文文献批量获取
王晓虎;
浙江大学;
微型机与应用杂志社;
π演算; 行为交互; 需求建模; 建模语言;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:具有可执行用例和彩色Petri网的形式化需求建模
机译:基于XML的需求建模数据提取方法研究。
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:使用轻量级形式化方法进行需求建模的经验
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。