Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models

Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders. Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009. pages 353-358, IEEE, 2009. [doi]

Abstract

Abstract is missing.