退出
我的积分:
中文文献批量获取
外文文献批量获取
第一个书签之前
Omar Tariq;
重庆大学;
形式化; UML图; 分析;
机译:将IDEF0模型转换为UML图表的形式化和软件
机译:在UML图中转换IDEF0模型的形式化和软件过程
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:在形式化的UML图的上下文中可视化和分析结果的解释
机译:从UML图生成基于网络的模型,以支持设计仿真和分析。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:UML图的形式验证:一种基于重写逻辑的方法
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:基于共形几何代数形式化分析机器人手臂运动计划的方法和系统
机译:基于K-PARTITE GRAPH的形式化特征用于临床数据分析中的复杂表型和疾病预后的预测
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。