%0 Journal Article %1 journals/tdsc/CalderS19 %A Calder, Muffy %A Sevegnani, Michele %D 2019 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 1 %P 174-187 %T Stochastic Model Checking for Predicting Component Failures and Service Availability. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#CalderS19 %V 16

@article{journals/tdsc/CalderS19, added-at = {2020-04-09T00:00:00.000+0200}, author = {Calder, Muffy and Sevegnani, Michele}, biburl = {https://www.bibsonomy.org/bibtex/25963c4257094649e3f715e4afb53c847/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TDSC.2017.2650901}, interhash = {68222fe73e82bca2a460f9ba881fc68e}, intrahash = {5963c4257094649e3f715e4afb53c847}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 1, pages = {174-187}, timestamp = {2020-04-10T11:55:58.000+0200}, title = {Stochastic Model Checking for Predicting Component Failures and Service Availability.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#CalderS19}, volume = 16, year = 2019 }