Keywords: وارسی مدل; Transport; Risk management; Decision making; Model checking
مقالات ISI ترجمه شده وارسی مدل
مقالات ISI وارسی مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: وارسی مدل; Covariate-adjusted model; Nonparametric test; Model checking;
Keywords: وارسی مدل; Wireless sensors; Self-destructing; Assurance; Model checking;
Keywords: وارسی مدل; Medical alarms; Masking; Psychoacoustics; Formal methods; Model checking;
Keywords: وارسی مدل; Human-human collaboration; Human communication; Task analysis; Model checking; Human error;
Keywords: وارسی مدل; Temporal logic; Model checking; Satisfiability; Verification;
Keywords: وارسی مدل; Hardware Trojans; Runtime monitors; Network on Chip (NoC); Burst mode communication; Formal verification; Model checking;
Keywords: وارسی مدل; Authentication; e-Passport; Key exchange; Maude; Model checking; Rewriting; 00-01; 99-00;
Keywords: وارسی مدل; Formal methods; Hybrid systems; Programmable logic controllers; Supervisory control; Model checking; Abstraction;
Keywords: وارسی مدل; Kernel smoothing; Local linear smoothing; Model checking; Partial linear models; Variable selection;
Keywords: وارسی مدل; Model checking; Parameter synthesis; Probabilistic reachability; Probabilistic timed automata; Markov decision processes; Stochastic games;
Keywords: وارسی مدل; Temporal logic; Visibly pushdown languages; Satisfiability; Model checking; Infinite games;
Keywords: وارسی مدل; Formal methods; Model checking; Scientific computing; Earth and atmospheric sciences;
Keywords: وارسی مدل; Self-adaptive software; Model checking; Finite state machine; Runtime;
Keywords: وارسی مدل; API; Constraint checking; Automotive software; Model checking; OSEK/VDX;
Keywords: وارسی مدل; Data mining; Bayesian network; Model checking; State space explosion; Graph transformation system;
Keywords: وارسی مدل; Modelling and verification; Model checking; Statistical model checking; Actors; Asynchronous message passing; Timing constraints; Probabilistic behavior; Uppaal;
Keywords: وارسی مدل; Runtime verification; Full regular properties; Parallel; Program verification; Model checking;
Keywords: وارسی مدل; Satisfiability Modulo Theories (SMT); Model checking; Global optimization; Non-convex optimization;
Keywords: وارسی مدل; Mediation-aided service composition; Model checking; Timed compatibility; Temporal constraints; Petri nets;
Keywords: وارسی مدل; Obfuscation; Android; Model checking; Formal methods; Malware;
Keywords: وارسی مدل; Software product lines; Product-line analysis; Reliability analysis; Model checking; Verification;
Keywords: وارسی مدل; Estimating equation; Informative observation times; Latent variable; Model checking; Multivariate longitudinal data; Semiparametric regression;
Keywords: وارسی مدل; Additive rates model; Center effects; Recurrent events; Terminal event; Model checking;
Keywords: وارسی مدل; Alternating-time temporal logic; Refinement; Model checking; Proof system;
Keywords: وارسی مدل; Formal methods; Model checking; Mutation analysis; Web Service Modeling Ontology; Semantic web services.;
Keywords: وارسی مدل; Medical alarms; Masking; Psychoacoustics; Formal methods; Model checking;
Improved model checking methods for parametric models with responses missing at random
Keywords: وارسی مدل; 62F03; 62G10; Empirical process; High dimensional covariates; Missing at random; Model checking; Projection;
Keywords: وارسی مدل; Model checking; Fault-tolerant distributed algorithms; Byzantine faults; Computational models;
Keywords: وارسی مدل; Service; Model checking; Trust behaviors; Pushdown automata; Fixed-point Logic with Chop;
Keywords: وارسی مدل; Worst-case execution time; Model checking; Timed automata;
Keywords: وارسی مدل; Vehicle platooning; Agent programming; Model checking;
Keywords: وارسی مدل; Linear Temporal Logic; Linear Dynamic Logic; Parametric Linear Temporal Logic; Model checking; Realizability;
Keywords: وارسی مدل; Model checking; Multi-valued transition system; Invariant; Safety; Liveness; Lattice-valued finite automaton;
Keywords: وارسی مدل; Strategy logics; Resource constraints; Model checking;
Keywords: وارسی مدل; Model checking; Structural heuristics; Data mining;
Keywords: وارسی مدل; Self-adaptive software architecture; Model checking; Software cybernetics; Architecture evolution;
Keywords: وارسی مدل; Wind turbine system; Model-based testing; MaTeLo; Model checking; UPPAAL;
Keywords: وارسی مدل; Model checking; Possibility theory; Linear temporal logic; Fuzzy finite automaton; Fuzzy regular language; Generalized possibilistic Kripke structure;
Keywords: وارسی مدل; Twitter interactions and communications; Formal semantics; Verification; Model checking;
Keywords: وارسی مدل; Cloud computing; Directed acyclic graph; Genetic algorithm; Formal verification; Task scheduling; Model checking;
Keywords: وارسی مدل; Cardiac IMD security; Lethal attacks; Forensic investigation; Medical investigation; Model Checking; Inference system;
Keywords: وارسی مدل; Contract-driven web services; Web service composition; BPEL; Communicative commitments; Model checking;
Keywords: وارسی مدل; Formal Verification; Control-Command; HMI; Model Checking; CTL;
Keywords: وارسی مدل; Model checking; System survivability; Online Verification
Keywords: وارسی مدل; Chemical Reaction Networks; Linear Noise Approximation; Probabilistic logic; Model checking;
Keywords: وارسی مدل; vulnerability detection; model checking; malicious agents; industrial control systems;
Keywords: وارسی مدل; Parametric model checking; Resilience; Biological oscillators; Model checking;
Keywords: وارسی مدل; Reaction systems; Model checking; Biomodeling; Conserved sets; Invariants; Steady state; Stationary process; Elementary flux; Periodicity; Complexity classes
Keywords: وارسی مدل; Cloud computing; Dynamic reconfiguration; Rewriting logic; Model checking;