退出
我的积分:
中文文献批量获取
外文文献批量获取
胡涛; 杨建军; 胡志刚; 刘刚;
中国宇航学会;
中国兵工学会;
中国航空学会;
中国电子学会;
中国机械工程学会;
中国仪器仪表学会;
中国现场统计学会;
复杂装备; 维修性仿真; 维修性验证; Petri网; UML; 编程实现;
机译:基于时间Petri网的UML2时序图的形式验证
机译:基于分层有色Petri网的UML2 IOD验证环境
机译:基于UML和Petri网的业务流程建模的形式化和验证
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:建模复杂性:将选择理论与多主体建模相结合,基于主体的森林景观狩猎模拟。
机译:使用基于UMLS的语义解析器验证临床问题。
机译:从UmL到petri网进行非功能性财产验证
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:基于电压传播与仿真相结合的可靠性验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。