Merkliste 
 1 Ergebnisse 
 
1

Stochastic Model Checking for Predicting Component Failures..:

Calder, Muffy ; Sevegnani, Michele
IEEE Transactions on Dependable and Secure Computing.  16 (2019)  1 - p. 174-187 , 2019