Lectures on formal methods and performance analysis
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Adaptive decomposition and approximation for the analysis of stochastic petri nets
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Hi-index | 0.00 |
Abstract: We consider the dependability of programs of an iterative nature. The dependability of software structures is usually analysed using models that are strongly limited in their realism by the assumptions made to obtain mathematically tractable ...