Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Stochastic Petri Net Analysis of a Replicated File System
IEEE Transactions on Software Engineering
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.01 |