搜索筛选:
搜索耗时0.8303秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：欧阳城添,陈莉莉,王曦,
来源：计算机科学 年份：2017
时序电路的可靠性问题日益成为人们关注的焦点。讨论高层次时序电路的可靠性评估方法,重点研究分析了贝叶斯可靠性分析方法、多阶段可靠性分析方法和基于概率转移矩阵的时序...
[期刊论文] 作者：盛紫琦,王曦,欧阳城添,,
来源：软件导刊 年份：2017
铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系...
[期刊论文] 作者：欧阳城添，陈莉莉，王曦，OUYANGCheng-tian，CHENLi-li，WANGXi,
来源：计算机科学 年份：2017
...
相关搜索：
