scientific article; zbMATH DE number 1461224
From MaRDI portal
Publication:4485810
zbMath0953.68015MaRDI QIDQ4485810
Publication date: 19 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Inference from stochastic processes (62M99) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (10)
Categorical foundations for randomly timed automata ⋮ An approach for analyzing the reliability of industrial system using fuzzy Kolmogorov's differential equations ⋮ Revisiting the matrix‐free solution of Markov regenerative processes ⋮ On-the-fly verification and optimization of DTA-properties for large Markov chains ⋮ Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy ⋮ Performability assessment by model checking of Markov reward models ⋮ Model checking expected time and expected reward formulae with random time bounds ⋮ Approximating Matrix-Exponential Distributions by Global Randomization ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA
Uses Software
This page was built for publication:
