退出
我的积分:
中文文献批量获取
外文文献批量获取
郭峰;
北京航空航天大学;
计算机学院;
北京;
100083;
统一建模语言状态图; Petri网; 形式化语义;
机译:使用软件故障树分析对统一建模语言序列和状态图进行危害分析
机译:关于使用统一建模语言状态图的两种变体对递归调用和回调进行建模
机译:验证模型:Petri网的新知识可达性分析方法
机译:从UML状态图和协作图到彩色Petri网模型:基于图变换的虚拟企业业务流程建模和分析方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:基于Petri网的血管生成分子调控所选方面的建模和分析方法
机译:状态图中指定的马氏模型中嵌入的内存:模拟与分析方法状态图中指定的马氏模型中的内存处理:模拟和分析方法
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:跨统一建模语言概要文件迁移统一建模语言模型
机译:跨统一建模语言配置文件迁移统一建模语言模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。