This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

Markov Chains are widely used as stochastic models to study a broad spectrum of system performanc...

Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...

This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

Traditionally, models and methods for the analysis of the functional correctness of reactive syst...

This book constitutes the proceedings of the 20th International GI ITG Conference on Measurement,...

This book constitutes the proceedings of the 9th International Symposium on Dependable Software E...