Keywords: تأیید رسمی; Formal verification; Vehicular coordination; SMT; Intersection collision avoidance;
مقالات ISI تأیید رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تأیید رسمی; Multi-agent systems; Cooperative control; Hybrid systems; Formal verification; Timed logics; Abstractions; Discrete event systems;
Keywords: تأیید رسمی; Snapshot; Checkpointing; Consistency; Formal verification; Distributed computing;
Keywords: تأیید رسمی; Hardware Trojans; Runtime monitors; Network on Chip (NoC); Burst mode communication; Formal verification; Model checking;
Keywords: تأیید رسمی; Concurrency; Formal verification; Java; Condition variables;
Keywords: تأیید رسمی; Reliable controllers; Timed automata; Simulation; Formal verification; Conformance testing; Automated people movers; Automatic train control;
Keywords: تأیید رسمی; Formal verification; Machine-checked proof; Distributed algorithm; Peer-to-peer protocol; Distributed hash table;
Keywords: تأیید رسمی; Formal verification; Programming language semantics; WS-BPEL; BIP;
Keywords: تأیید رسمی; Games; Temporal logic; Multi-agent systems; Formal verification;
Keywords: تأیید رسمی; Formal verification; Separation logic; Assembly; Coq; Exceptions; Step-indexed models; Interactive theorem proving;
Keywords: تأیید رسمی; Cloud computing; Formal verification; Systematic literature review; Specification;
Keywords: تأیید رسمی; Self-adaptation; Real-time systems; Petri nets; Formal verification; Timing analysis;
Keywords: تأیید رسمی; Formal verification; Explicit model checking; System-level formal verification; Formal methods; Software engineering;
Keywords: تأیید رسمی; Formal verification; Dynamic systems; Intervals; Constraint satisfaction problem;
Keywords: تأیید رسمی; Functional Resonance Analysis Method (FRAM); System safety; Air Traffic Management; Formal verification; Socio-technical system;
Keywords: تأیید رسمی; Fuzzy automaton; Complete residuated lattice; Heyting algebra; Language equivalence; Formal verification;
Keywords: تأیید رسمی; Formal verification; Static analysis; Piecewise affine systems; Piecewise quadratic Lyapunov functions;
Keywords: تأیید رسمی; Content validation; Public Health Informatics; Information dissemination; Formal verification; Graph Grammars;
Keywords: تأیید رسمی; Seamless requirements; Specification drivers; AutoProof; Eiffel; Design by contract; Formal verification;
Keywords: تأیید رسمی; Hybrid system; Barrier certificate; Formal verification; Invariant; Nonlinear system; Semi-definite programming; Sum of squares;
Keywords: تأیید رسمی; Railway interlocking systems; Sequential release; Formal verification; Bounded model checking; k-Induction;
Keywords: تأیید رسمی; E-auction; Security protocol; Formal verification; Bidding-price-secrecy; Receipt-freeness;
Keywords: تأیید رسمی; Bidirectional programming; Dependent types; Formal verification;
Keywords: تأیید رسمی; Formal verification; Higher-order logic; Optical systems; Resonator stability;
Keywords: تأیید رسمی; Platoon; Reconfiguration; V2V communication; Formal verification; Multi-agent system; PID controller;
Keywords: تأیید رسمی; Cloud computing; Directed acyclic graph; Genetic algorithm; Formal verification; Task scheduling; Model checking;
Keywords: تأیید رسمی; Formal Verification; Control-Command; HMI; Model Checking; CTL;
Keywords: تأیید رسمی; High-order logic; Theorem proving; Fractional order linear systems; Formal verification;
Keywords: تأیید رسمی; Autonomous systems; Ethics; BDI programs; Formal verification;
Keywords: تأیید رسمی; Graph Transformations; Formal Verification; Textual Documents; Medical Guidelines; Use Cases;
Keywords: تأیید رسمی; Visibly automata; Formal verification; Model checking; Pushdown automata; Automata-theoretic approach to system verification; Formal languages;
Keywords: تأیید رسمی; Formal verification; Hybrid systems; Surgical robotics
Keywords: تأیید رسمی; Automatic theorem proving; Equality loop invariants; Formal characterization; Formal verification; Finite difference techniques
Keywords: تأیید رسمی; Formal methods; Formal verification; Model checking; Interaction behaviors among industrial equipments
Keywords: تأیید رسمی; Empirical software engineering; Productivity; GQM; Formal methods; Formal verification; Proof Engineering
Keywords: تأیید رسمی; Formal verification; Arithmetic circuits; Groebner basis; Gaussian elimination; Repetitive components
Keywords: تأیید رسمی; formal verification; formal methods; software engineering; engineering techniques; research approachesverificación formal; métodos formales; ingeniería de software; técnicas de ingenieréa; enfoques de investigación
Keywords: تأیید رسمی; Secure development methodology; Formal model; Protocols security; Formal verification; WEP analysis;
Keywords: تأیید رسمی; Grid computing; Formal verification; Behavioral modeling; Resource discovery; Model checking; NuSMV;
Keywords: تأیید رسمی; Component-based systems; Dynamic system adaptation; Distributed control; Formal verification
Keywords: تأیید رسمی; Formal verification; Model checking; Combination of logics; Complexity; Multi-agent systems;
Keywords: تأیید رسمی; Viability; Reachability; Controlled invariance; Set-theoretic methods; High-dimensional systems; Formal verification; Safety-critical systems
Keywords: تأیید رسمی; Temporal logic; Finite state machines; Formal verification; Path planning; Synchronization; Decentralized control; Robot control
Keywords: تأیید رسمی; Stability analysis; Robot programming; Formal verification
Keywords: تأیید رسمی; Communicating concurrent Kleene algebra; Covert channels; Formal methods; Formal verification; Information confidentiality; Potential for communication
Towards correct cloud resource allocation in FOSS applications
Keywords: تأیید رسمی; FOSS; Resource allocation; Cloud computing; Formal verification; Event-B;
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
Keywords: تأیید رسمی; GPU verification; Formal verification; Model checking; CUDA;
Model checking of reconfigurable FPGA modules specified by Petri nets
Keywords: تأیید رسمی; Concurrent controllers; Formal verification; FPGA; Model checking; Requirements;
Practical verification of multi-agent systems against Slk specifications
Keywords: تأیید رسمی; Model checking; Strategy Logic; Multi-agent systems; Formal verification;
SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN
Keywords: تأیید رسمی; Software architecture; UML; Design-by-Contract; ProMeLa; Formal verification;