Author:
Amparore Elvio Gilberto,Donatelli Susanna
Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference31 articles.
1. On Petri nets with deterministic and exponentially distributed firing times;Ajmone Marsan,1987
2. Dependability modeling and evaluation of phased mission systems: a DSPN approach;Mura,1999
3. Model checking timed and stochastic properties with CSLTA;Donatelli;IEEE Transactions on Software Engineering,2009
4. Iterative analysis of Markov regenerative models;German;Performance Evaluation,2001
5. Revisiting the iterative solution of Markov regenerative processes;Amparore;Numerical Linear Algebra with Applications,2011
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献