Muffy Calder, Michele Sevegnani. Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Sec. Comput., 16(1):174-187, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.