Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems

Journal of Computer Science - United States
doi 10.3844/jcssp.2010.669.678
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

Science Publications

Related search

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2015English

A Review: Bone Remodeling Biological Computing Model

2016English

Counterexamples in Probabilistic Model Checking

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy