Keywords: وارسی مدل; Regulatory networks; Model checking; Büchi automata; Colorectal cancer;
مقالات ISI وارسی مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: وارسی مدل; Fault-tolerant routing; Formal methods; Model checking; Network-on-chip; Process calculus
Keywords: وارسی مدل; Decision procedure; Propositional projection temporal logic; Büchi automata; Model checking
Keywords: وارسی مدل; Three-valued logic; Three-valued abstraction; Parameterisation; Model checking; Counterexample-guided abstraction refinement
Keywords: وارسی مدل; Model checking; Computation tree logic; Lattice; Weighted automata
Keywords: وارسی مدل; Model checking; Uncertainty; Continuous-Time Markov Chains; Gaussian Processes
Keywords: وارسی مدل; Model checking; Dependability; Hybrid Petri nets; Case study;
Keywords: وارسی مدل; Variability modeling; Operational semantics; Model checking;
Keywords: وارسی مدل; Visibly automata; Formal verification; Model checking; Pushdown automata; Automata-theoretic approach to system verification; Formal languages;
Keywords: وارسی مدل; Compositional verification; Model checking; Maximal models
Keywords: وارسی مدل; Model checking; Modal transition systems; Temporal logic; Product families; Variability
Keywords: وارسی مدل; Temporal logics; Data variable quantifications; Satisfiability; Model checking; Decidability and complexity; Alternating register automata; Data automata;
Keywords: وارسی مدل; Formal modeling; Systems biology; Model checking; Algorithms; Probabilistic modeling;
Keywords: وارسی مدل; Model checking; Nonparametric forecasting; Observation error; Time series analysis; Deterministic chaos; Nonlinear dynamics;
Keywords: وارسی مدل; Formal methods; Formal verification; Model checking; Interaction behaviors among industrial equipments
Keywords: وارسی مدل; Behaviour-based system; Behaviour network; Behaviour modelling; Behaviour network verification; Model checking
Keywords: وارسی مدل; Static analysis; Model checking; SMT solving; Industrial application; Experience report;
Keywords: وارسی مدل; Model checking; Verification; Validation; Iterative abstraction refinement
Keywords: وارسی مدل; Expert Cloud; Cloud computing; Model checking; System verification; Virtualization; Human knowledge
Keywords: وارسی مدل; Model checking; Refutation; PSO; GSA; Graph transformation system; State space explosion;
Keywords: وارسی مدل; Networked Automation Systems (NAS); Jitter; Timed-automata; Model checking; Network latencies; Industrial automation; Response time (RT)
Keywords: وارسی مدل; Business process management; Business process modeling; Workflow modeling; Verification; Model checking; Petri net
Keywords: وارسی مدل; Quantum Markov chains; Hybrid systems; Quantum automata; Equivalence; Model checking; Linear-time property
Keywords: وارسی مدل; Reaction system; Model checking; Mass conservation; Conserved set; Conservation dependency graph; Simulator
Keywords: وارسی مدل; Estimating equations; Gap times; Model checking; Recurrent events; Transformed hazards model
Keywords: وارسی مدل; Model checking; Temporal logic; Computation tree logic; Fuzzy logic; Triangular norm
Keywords: وارسی مدل; Model checking; Strategy logic; Incomplete information; Perfect recall
Keywords: وارسی مدل; MSC graphs; Timed automata; Model checking;
Keywords: وارسی مدل; Safety; Slicing; Model checking; Testing; Automotive OS;
Keywords: وارسی مدل; Imprecise probability; Model assessment; Model checking; Model criticism; Prior-data conflict; Robust Bayesian decision theory
Keywords: وارسی مدل; Reaction system; Model checking; Temporal logic
Keywords: وارسی مدل; Satellite systems; Formal methods; Model checking; Reliability; Availability; Probabilistic verification;
Keywords: وارسی مدل; Heap manipulation; Pushdown system; Object-oriented program semantics; Model checking
Keywords: وارسی مدل; Bisimulation; Transition system; Temporal logic; CTLâ; Model checking; Slicing; Behavior Trees;
Keywords: وارسی مدل; Multi-agent systems; Model checking; Knowledge; Social commitments; Verification
Keywords: وارسی مدل; Chaotic dynamics; Model checking; Nonparametric forecasting; Observation error; Time series analysis;
Keywords: وارسی مدل; Alternating-time temporal logic; Partial observability; Fairness constraints; Model checking
Keywords: وارسی مدل; Formal methods; Formal semantics; Temporal logics; Model checking; Program correctness;
Keywords: وارسی مدل; Discrete event systems; Finite-state machines; Model checking; Compositional verification; Nonblocking
Keywords: وارسی مدل; Model checking; Stochastic methods; Qualitative/quantitative analysis of biochemical systems; Delayed stochastic dynamics
Keywords: وارسی مدل; Model checking; Parameterized fairness; Linear temporal logic of rewriting
Keywords: وارسی مدل; Biological systems; Gillespie algorithm; Membrane computing; Model checking; Modeling framework
Keywords: وارسی مدل; Visual information; Conceptual graphs; Model checking; Medical protocol; Nosocomial diseases;
Keywords: وارسی مدل; State space explosion; Model checking; Graph transformation systems; Genetic algorithm;
Keywords: وارسی مدل; Bilateral negotiation; Multiagent learning; Robustness; Model checking
Keywords: وارسی مدل; Model checking; Social commitments; Multi-Agent Systems; Autonomous reasoning; Probabilistic logic
Keywords: وارسی مدل; Temporal logic; CTL⁎; Formal languages; Expressive power; Model checking; Satisfiability
Keywords: وارسی مدل; Safety and dependability analysis; Performance analysis; Model checking; AADL modeling language; Spacecraft
Keywords: وارسی مدل; Bootstrap approximation; Confounding variables; Covariate-adjusted regression; Distorting function; Empirical likelihood; Empirical process; Measurement error models; Model checking; Multiplicative effect; Regression spline
Keywords: وارسی مدل; Temporal logic; Model validation; Specification debugging; Model checking; Safety-critical system