文献检索/Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and ReliabilityEM-T2Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability2015-11-30第 230 卷第 5 期，457-472高影响力 · 前 10%A testing-based approach to ensure the safety of shared resource concurrent systemsLars‐Åke FredlundUniversidad Politécnica de MadridJulio MariñoUniversidad Politécnica de MadridRaúl Nestor Neri AlborodoIMDEA Software InstituteÁngel HerranzUniversidad Politécnica de Madrid去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱，注册免费。登录 / 注册关键词concurrent systemssafety-critical systemsmodel-based testingstate-based modelstest case generationErlangQuickCheck参考文献22引证文献0相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱：谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册
