A Markov Chain Model Checker

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-46419-0_24

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

A Markov Chain Approach to Study Replacement Model

International Journal for Research in Applied Science and Engineering Technology
2019English

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A New Hybrid PSO Algorithm Based on a Stochastic Markov Chain Model

Advances in Engineering Software
EngineeringSoftware
2015English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Stochastic Markov Chain Model to Describe Lung Cancer Growth and Metastasis

PLoS ONE
Multidisciplinary
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy