Validation of Stochastic Systems
From MaRDI portal
Publication:5325841
DOI10.1007/B98484zbMATH Open1203.68117OpenAlexW657718082MaRDI QIDQ5325841FDOQ5325841
Author name not available (Why is that?)
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
Recommendations
- scientific article; zbMATH DE number 2102711
- Data representation and efficient solution: a decision diagram approach
- scientific article; zbMATH DE number 1538049
- Symbolic model checking for probabilistic processes
- On application of multi-rooted binary decision diagrams to probabilistic model checking
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Data structures (68P05)
Cited In (11)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cycles and communicating classes in membrane systems and molecular dynamics
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
- Enhancing probabilistic model checking with ontologies
- Symbolic approaches to probability distributions in process algebra
- Title not available (Why is that?)
- Ontology-mediated probabilistic model checking
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
Uses Software
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 Q5325841)
