Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference34 articles.
1. Model-based evaluation: from dependability to security;Nicol;IEEE Trans. Dependable Secure Comput.,2004
2. The GreatSPN tool: recent enhancements;Baarir;ACM SIGMETRICS Perform. Eval. Rev.,2009
3. The Möbius framework and its implementation;Deavours;IEEE Trans. Softw. Eng.,2002
4. Reliability and performability modeling using SHARPE 2000;Hirel,2000
5. SHARPE at the age of twenty two;Trivedi;SIGMETRICS Perform. Eval. Rev.,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献