Amanote Research
Register
Sign In
Guided Model Checking With a Bayesian Meta-Heuristic
doi 10.1109/csd.2004.1309134
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
K. Seppi
M. Jones
P. Lamborn
Publisher
IEEE
Related search
Bayesian Model Checking: A Comparison of Tests
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
A Guide to Bayesian Model Checking for Ecologists
A Bayesian Approach to Model Checking Biological Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proposing a New Mathematical Model and a Meta-Heuristic Algorithm for Scheduling and Allocating Automated Guided Vehicle
International Journal of Mathematics in Operational Research
Modeling
Decision Sciences
Simulation
An Improved Distance Heuristic Function for Directed Software Model Checking
Meta Heuristic Approach for Automatic Forecasting Model Selection
International Journal of Information Systems and Supply Chain Management
Information Systems
Management Information Systems
A Bayesian Semiparametric Model for Random-Effects Meta-Analysis
Journal of the American Statistical Association
Uncertainty
Statistics
Probability
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
