„model checking“
Suchergebnisse
1.904 Treffer
-
Model checking in multiple imputation: an overview and case study
-
Efficient reduction of finite state model checking to reachability analysis
-
Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC
-
Modelling and implementing a knowledge base for checking medical invoices with DLV
-
On using data abstractions for model checking refinements
-
Graph Transformations and Model-Driven Engineering – Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
-
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
-
Directed Explicit Model Checking with HSF-SPIN
-
Probabilistic symbolic model checking with PRISM: a hybrid approach
-
Design of a Test Generation Methodology for ARTIS using Model-Checking with a Generic Modelling Approach
-
Directed explicit-state model checking in the validation of communication protocols
-
Graph transformations and model-driven engineering – essays dedicated to Manfred Nagl on the occasion of his 65th birthday
-
Partial-order reduction and trail improvement in directedmodel checking
-
MARCIE manual
-
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
-
Trail-Directed Model Checking
-
Posterior predictive checking of multiple imputation models
-
A bad arm existence checking problem: How to utilize asymmetric problem structure?
-
Partial-order reduction and trail improvement in directed model checking
-
Bounded Model Checking Using Satisfiability Solving