Keywords: تایید; Timed temporal logic; Temporal relaxation; Controller synthesis; Verification; Finite state automata; Unambiguous languages;
مقالات ISI تایید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تایید; Verification; Synthesis; General Markov decision processes; Safety; Building automation systems; Temperature control;
Keywords: تایید; D82; D83; E40; E50; Money; Counterfeiting; Screening; Verification; Search;
Keywords: تایید; High-level synthesis; Designer productivity; Quality of results; Reliability; Security; Verification; Validation; Time to market; Modeling; Performance; Low power; Area cost; Polyhedral optimization; Parallel languages; Interconnect optimization; Variatio
Keywords: تایید; Verification; Validation; Workflow; Reproducibility; Context model;
Keywords: تایید; Formal methods; Verification; Security protocols; Privacy-type properties; Symbolic model;
Keywords: تایید; Cloud services; Verification; Patterns; Orchestration;
Keywords: تایید; Finite elements; Logarithmic singularities; Prestressed membrane; Perforated domain; Verification; Validation;
Keywords: تایید; static analysis; abstract interpretation; verification; safety; concurrency; run-time errors; data-races; deadlocks; real-time scheduling; priority ceiling protocol;
Keywords: تایید; Agent-oriented software engineering; Multi-agent systems; Verification;
Keywords: تایید; Cyber-physical systems; Security; Verification; Validation; Internet of things;
Keywords: تایید; Twitter interactions and communications; Formal semantics; Verification; Model checking;
Keywords: تایید; Verification; Linear hybrid automata; Symbolic representation; CEGAR; Interpolation;
Keywords: تایید; WBSN; Health monitoring; Sensors; Mobile data collector; Behavior derivation; Model-driven engineering; Verification;
Keywords: تایید; Fault tolerant flight control; fault detection & isolation; verification; validation;
Keywords: تایید; Formal Methods; Theorem Proving; Verification; Nonlinear Control; Prototype Verification System
Keywords: تایید; Quality assurance; Verification; 3-Dimensional measurement; IMRT; 3-Dimensional reconstruction;
Keywords: تایید; Magneto-rheological gel (MRG); Magneto-resistance mechanism; Theoretical model; Carbonyl iron powder (CIP); Verification
Keywords: تایید; Blood; Collection; Preanalytical; Tube; Validation; Verification;
Keywords: تایید; Fraction Skill Score; FSS; Precipitation; Verification
Keywords: تایید; Area Difference Index; Bushfire; Fire spread model; PHOENIX RapidFire; Jaccard's coefficient; Kappa; Precision; Recall; Shape Deviation Index; Sørensen similarity; Spatial validation; Verification; Wildfire;
Keywords: تایید; Cloud patterns; Verification; Semantics; Orchestration; Service level agreeement; Quality of service;
Keywords: تایید; Opacity; Discrete event systems; Validation; Verification; Enforcement; Quantification; Secrecy; Privacy; Security;
Keywords: تایید; Sampling; Verification; Microbiological food safety;
Keywords: تایید; Software ecosystems; Quality; Verification; Testing
Keywords: تایید; Drift flux model; Jacobian-free Newton-Krylov method; Verification; Validation;
Keywords: تایید; Orientation; Preparation; Incubation; Illumination; Verification;
Keywords: تایید; Online algorithms; Competitive analysis; Verification; Minimum multi-cut; Matroid
Keywords: تایید; Arithmetic and logic units; Debugging aids; Diagnostics; Verification; Formal models
Keywords: تایید; Qualitative precipitation forecast (QPF); Verification; Wavelet; Object-based analysis; COAMPS;
Keywords: تایید; Cloud computing; Dynamic reconfiguration; Distributed applications; Fault-tolerance; Verification
Keywords: تایید; Asynchronous systems; Message-passing systems; Synchronizability; Verification;
Keywords: تایید; Theory; Empirical software engineering; Requirements engineering; Verification; Human factors; Distances
Keywords: تایید; Wikipedia; Social network; Verification; Behavioral network; Survey; Social dimension;
Keywords: تایید; Discontinuous Deformation Analysis; Benchmark tests; Verification; Validation; Dynamic analysis;
Keywords: تایید; Cupola; Foundry slag; Concrete; Verification; Frost resistant;
Keywords: تایید; Multi-biometric; Verification; Score level fusion; Fuzzy set theory; Fuzzy pattern recognition;
Keywords: تایید; Axiom system; Multi-core; Model; Specification; Verification
Keywords: تایید; Two-fluid model; Analytical relation; Verification; Wall force; Lift force; Dispersion force; Drag force; NEPTUNE_CFD;
Keywords: تایید; Verification; Hoare-calculus; Templates; Service compositions; Correctness by construction
Keywords: تایید; Reproducibility; Verification; Validation; Workflow; Context model;
Keywords: تایید; Hybrid systems; Abstraction; Verification; Linearization; Invariants; Abstract interpretation
Keywords: تایید; Verification; Formal methods; Model-Driven Engineering; Theory of Institutions; Heterogeneous Tool Set
Keywords: تایید; Knowledge representation; Reasoning about action; Situation calculus; Verification;
Keywords: تایید; Viscoelasticity; Constitutive modelling; Propellant; Damage; Finite element model; User material; Validation; Verification;
Keywords: تایید; Verification; Monitoring; Runtime enforcement; Timed specifications;
Keywords: تایید; Verification; Error estimate; Convergence; Order-of-accuracy; Solution verification; Robust statistics;
Keywords: تایید; D82; G31; G32; M41; M42; Investment; Debt; Financing frictions; Information asymmetry; Audits; Verification; Signaling; Screening; Private firms;
Keywords: تایید; Microbiological criteria; Moving window; Verification; Food safety management system
Keywords: تایید; Hyperedge replacement grammars; Java bytecode; Dynamic data structures; Verification