退出
我的积分:
中文文献批量获取
外文文献批量获取
张姝; 张广泉;
重庆师范大学数学与计算机科学学院;
UML顺序图; 形式化语法; 形式化语义; 线性时序逻辑;
机译:一种形式化领域专用建模语言的描述方法
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:UML-B:UML辅助的形式化建模和设计
机译:一种用于UML StateCharts形式化的基础攻击方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:一种定量描述腹足动物壳中形状的发展性描述方法
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:通过加热härtbare,一种醇酸树脂和一种形式化的醛缩合产品生产出一种含有1,3,5个三嗪类氨基酸的氨基,并用它来生产schichtpressstoffen
机译:一种用于视频序列的时间顺序图像像素的计算机化运动估计方法。
机译:一种使用顺序图预测事件流的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。