文献检索/Reliability Engineering & System SafetyEM-T1Reliability Engineering & System Safety2020-12-09第 208 卷,107384-107384开放获取Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automataLoïc DesgeorgesCentre National de la Recherche ScientifiquePierre-Yves PiriouÉlectricité de France (France)Thibault LemattreÉlectricité de France (France)Hassane ChraïbiEDF Lab Paris-Saclay (France)去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱,注册免费。登录 / 注册关键词model-based safety analysisoperational semanticsformal semanticsinference rulesdependability analysismodel checking参考文献41引证文献6相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱:谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册