Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Quantifying the sustainability impact of data center availability
ACM SIGMETRICS Performance Evaluation Review
Hi-index | 0.00 |