Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325839zbMATH OpenOpenAlexFDO

Authors Rashid Mehmood

Publication date 24 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98484

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Iterative numerical methods for linear systems (65F10)

Recommendations

• scientific article; zbMATH DE number 2090707
• A symbolic out-of-core solution method for Markov models
• Distributed disk-based algorithms for model checking very large Markov chains
• Tackling large state spaces in performance modelling
• Structured analysis approaches for large Markov chains

Cited in

(3)

• scientific article; zbMATH DE number 2090707 (Why is no real title available?)
• A symbolic out-of-core solution method for Markov models
• Tackling large state spaces in performance modelling

Describes a project that uses

Uses Software

• SPARSKIT
• ITSOL

This page was built for publication: Validation of Stochastic Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325839)