退出
我的积分:
中文文献批量获取
外文文献批量获取
张国印; 刘铭; 姚爱红; 门朝光;
哈尔滨工程大学;
计算机科学与技术学院;
哈尔滨;
150001;
形式化验证; 建模; 实时有色Petri网; 嵌入式系统;
机译:基于形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:基于Agent Petri网形式主义的多Agent系统元建模与验证方法
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:高级Petri网的形式化建模和分析技术。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于代理人Petri网络形式主义的多助理系统的元建模和验证方法
机译:用于分布式系统的形式化建模,分析和开发的可扩展和可扩展的框架。
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:Petri网建模的事物系统工业互联网中包含的无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。