Author:
Vittorini V.,Iacono M.,Mazzocca N.,Franceschinis G.
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference26 articles.
1. Bernardo M, Donatiello L, Ciancarini P (2002) Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Calzarossa MC, Tucci S (eds): Performance 2002, Tutorial Lectures, LNCS 2459, Springer-Verlag, pp 236–260
2. Bause F, Buchholz P, Kemper P (1998) A Toolbox for Functional and Quantitative Analysis of DEDS. In: Pujanger R, Savino NN, Serra B (eds): Quantitative Evaluation of Computing and Communication Systems, LNCS 1469. Springer-Verlag, pp 356–359
3. Ciardo G, Jones RL, Miner AS, Siminiceanu R (2001) SMART: Stochastic Model Analyzer for Reliability and Timing. Tools Presentation, Proc. of the Int. Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Aachen, Germany, September 2001, pp 29–34
4. Clarke EM, Wing JM (1996) Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4): 626–643
5. Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle J, Sanders W, Webster P (2001) The Möbius modeling tool. Proc. 9th Int. Workshop on Petri Nets and Performance Models (PNPM’01), Aachen, Germany, September 2001, pp 241–250
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献