退出
我的积分:
中文文献批量获取
外文文献批量获取
独立完成与诚信声明及关于学位论文使用授权的说明
中文内容摘要
英文内容摘要
第一章绪论
第二章PNP模型及相关概念
第三章PNP模型与形式化验证
第四章PNP模型的抽取
第五章结束语
参考文献
致谢
在论文研究期间撰写的学术论文
朱赟;
中国科学技术大学;
ASIP体系结构; 形式化验证; Petri网; 时序逻辑; 嵌入式系统;
机译:基于UML和Petri网的业务流程建模的形式化和验证
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:基于PN的ASIP体系结构形式建模和验证
机译:高级Petri网的形式化建模和分析技术。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:SAS体系结构:混凝土关键系统的面向验证的形式化建模*
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:Petri网建模的事物系统工业互联网中包含的无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。