Keywords: روشهای صوری، روشها رسمی; Computational complexity; Decidability; Formal methods; Program correctness; Term rewriting;
مقالات ISI روشهای صوری، روشها رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: روشهای صوری، روشها رسمی; Conditional rewriting; Confluence; Formal methods; Operational termination;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Formal languages; Parametric timed automata; Event-recording automata;
Keywords: روشهای صوری، روشها رسمی; Run-Time Management; Code generation; Formal methods; Verification;
Keywords: روشهای صوری، روشها رسمی; Medical alarms; Masking; Psychoacoustics; Formal methods; Model checking;
Keywords: روشهای صوری، روشها رسمی; Software architecture; Automated Contingency Management; Formal methods; Partitioning; UAS;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Timed-arc Petri nets; Reachability graphs; Similarities;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Hybrid systems; Programmable logic controllers; Supervisory control; Model checking; Abstraction;
Keywords: روشهای صوری، روشها رسمی; Aggregation; Correctness proof; Formal methods; Kleene algebras; Relations; Stone algebras; Weighted graphs;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Model checking; Scientific computing; Earth and atmospheric sciences;
Keywords: روشهای صوری، روشها رسمی; Self-stabilization; Reactive systems; Adversary; Formal methods;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Kleene algebras; Relation algebras; Stone algebras; Total correctness; Weighted graphs;
Keywords: روشهای صوری، روشها رسمی; Signifiers; Formal methods; Semiotic engineering; Usability; Human-computer interaction;
Keywords: روشهای صوری، روشها رسمی; Railway operations; Active objects; Formal methods; Deductive verification; Distributed systems;
Keywords: روشهای صوری، روشها رسمی; Computer security; Formal methods; Process algebra; Security policy; Policy enforcement; Ambient calculus; Modal logic;
Keywords: روشهای صوری، روشها رسمی; Reactive synthesis; Compositional synthesis; Multi-agent systems; Formal methods;
Keywords: روشهای صوری، روشها رسمی; Multi-view modeling; View consistency; Formal methods; Modeling; Verification;
Keywords: روشهای صوری، روشها رسمی; Obfuscation; Android; Model checking; Formal methods; Malware;
Keywords: روشهای صوری، روشها رسمی; Formal verification; Explicit model checking; System-level formal verification; Formal methods; Software engineering;
Keywords: روشهای صوری، روشها رسمی; Modelling; Ontologies; Formal methods; Engagement systems; Data warehouses; Clustering; Model and data stores;
Keywords: روشهای صوری، روشها رسمی; Deployment architectures; Formal methods; Bigraphs; Multi-scale modeling; Correct by design;
Keywords: روشهای صوری، روشها رسمی; Cryptography; Distributed systems; Formal methods; Multi-stage secret sharing schemes; Symmetric encryption;
Keywords: روشهای صوری، روشها رسمی; Software architectures; System of systems; Multi-scale modeling; Formal methods; Bigraphical reactive systems;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Model checking; Mutation analysis; Web Service Modeling Ontology; Semantic web services.;
Keywords: روشهای صوری، روشها رسمی; Medical alarms; Masking; Psychoacoustics; Formal methods; Model checking;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Web security; Survey;
Keywords: روشهای صوری، روشها رسمی; Uncertainty reduction; Formal methods; Information fusion; Belief functions; Occupancy grid maps;
Keywords: روشهای صوری، روشها رسمی; Hybrid systems; Formal methods; Nonlinear control; Bipedal robotics;
Keywords: روشهای صوری، روشها رسمی; Web services; Orchestration; Security policy; Separation of duty; Deducibility constraints; Cryptographic protocols; Formal methods; Automated verification; Synthesis;
Keywords: روشهای صوری، روشها رسمی; Human error; Erroneous human behavior; Task analysis; System safety; Formal methods;
Keywords: روشهای صوری، روشها رسمی; Network resources; Process calculi; Publish-subscribe systems; Formal methods; Control flow analysis;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Verification; Security protocols; Privacy-type properties; Symbolic model;
Keywords: روشهای صوری، روشها رسمی; Assessment; ProVerif; Pseudonym; Formal methods; Security protocols;
Keywords: روشهای صوری، روشها رسمی; Reliability assessment; Communication networks; Reliability block diagrams (RBDs); Fault tree; Markov chain; Simulation tools; Formal methods;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Multi-agent systems; Strategic reasoning; Temporal logics;
Keywords: روشهای صوری، روشها رسمی; unmanned surface vehicles; collision avoidance; probabilistic timed automata; formal methods; probabilistic model checking;
Keywords: روشهای صوری، روشها رسمی; Formal Methods; Theorem Proving; Verification; Nonlinear Control; Prototype Verification System
Keywords: روشهای صوری، روشها رسمی; Mechanized reasoning; Formal methods; Social choice theory; Auction theory;
Keywords: روشهای صوری، روشها رسمی; Fault-tolerant routing; Formal methods; Model checking; Network-on-chip; Process calculus
Keywords: روشهای صوری، روشها رسمی; Distributed computing; Self-stabilisation; Byzantine fault tolerance; Synthesis; Formal methods; SAT
Keywords: روشهای صوری، روشها رسمی; Verification; Formal methods; Model-Driven Engineering; Theory of Institutions; Heterogeneous Tool Set
Keywords: روشهای صوری، روشها رسمی; Semi-automated verification; Quantum key distribution; Quantum protocols; Process calculi; Formal methods
Keywords: روشهای صوری، روشها رسمی; Software product lines; Cost models; Formal methods; Feature models; Chef.io; Run-list;
Keywords: روشهای صوری، روشها رسمی; Context-aware adaptive systems; Model-driven engineering; Formal methods;
Keywords: روشهای صوری، روشها رسمی; Model-based testing; Finite State Machines; Checking sequences; Synchronizing sequences; Formal methods
Keywords: روشهای صوری، روشها رسمی; Formal methods; Skolem problem; Positivity problem; Probabilistic model checking; Markov chains;
Keywords: روشهای صوری، روشها رسمی; Formal methods; Protocols; Noisy channels; String transducers
Keywords: روشهای صوری، روشها رسمی; Deformations of complex structures; Deformations and infinitesimal methods; Formal methods; Deformations; Hermitian and Kählerian manifolds
Keywords: روشهای صوری، روشها رسمی; Network of information; Information centric networks; Formal methods; Authentication; Authorization
Keywords: روشهای صوری، روشها رسمی; Tree automata; Algorithms; Logic; Satisfiability modulo theories; Formal methods