Integrated frameworks for multi-level and multi-formalism modeling

This publication has 19 references indexed in Scilit:

• SMART: simulation and Markovian analyzer for reliability and timing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Performance engineering evaluation of object-oriented systems with SPE·ED TM
  Published by Springer Nature ,1997
• TANGRAM-II: A performability modeling environment tool
  Published by Springer Nature ,1997
• Performance and Reliability Analysis of Computer Systems
  Published by Springer Nature ,1996
• A toolset for performance engineering and software design of client-server systems
  Performance Evaluation, 1995
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
  Performance Evaluation, 1995
• The UltraSAN modeling environment
  Performance Evaluation, 1995
• Efficient simulation of hierarchical stochastic activity network models
  Discrete Event Dynamic Systems, 1993
• A Unified Approach for Specifying Measures of Performance, Dependability and Performability
  Published by Springer Nature ,1991
• Reduced base model construction methods for stochastic activity networks
  IEEE Journal on Selected Areas in Communications, 1991