EM-T2Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability2015230(5): 457-472A testing-based approach to ensure the safety of shared resource concurrent systemsLars‐Åke Fredlund, Julio Mariño, Raúl Nestor Neri Alborodo, Ángel Herranz被引 7阅读 2高影响力 前 10%软件
