退出
我的积分:
中文文献批量获取
外文文献批量获取
赵珊;
西安建筑科技大学;
UML; Petri网模型; 验证框架;
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:基于UML的安全性静态验证框架
机译:使用UML和Petri网的基于模式的软件性能模型方法:应用于基于代理的系统*
机译:用于无线协议实现的基于模型的运行时验证框架
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:结合Petri网和uml进行基于模型的软件工程
机译:在基于模型的开发(mBD)中使用统一建模语言(UmL)用于安全关键应用。
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。