Keywords: تأیید زمان اجرا; Internet of things; Model-based testing; Runtime verification; Complex-event processing; Model-to-text transformation; Edge computing;
مقالات ISI تأیید زمان اجرا (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تأیید زمان اجرا; Runtime verification; Full regular properties; Parallel; Program verification; Model checking;
Keywords: تأیید زمان اجرا; Monitoring; Runtime verification; Timed automata; Real-time systems;
Keywords: تأیید زمان اجرا; Session types; The Ï-calculus; Dynamic monitoring; Runtime verification; Bisimulation;
Keywords: تأیید زمان اجرا; Self-organization; Formal modeling; Runtime verification; HPobSAM
Keywords: تأیید زمان اجرا; Verification; Offline verification; Runtime verification; Monte Carlo simulations; Propulsion systems; Automated contingency management (ACM)
Keywords: تأیید زمان اجرا; Omega-regular language; Monitorable property; Runtime verification; Topology
Keywords: تأیید زمان اجرا; Runtime verification; Past time LTL; Embedded real-time systems
Keywords: تأیید زمان اجرا; Control networks; Runtime verification; Functional safety; Automotive; ISO 26262
Keywords: تأیید زمان اجرا; Temporal description logics; Runtime verification; Monitoring
Monitoring method call sequences using annotations
Keywords: تأیید زمان اجرا; Object monitoring; Runtime verification; Method call sequence specification; Code annotation; Component-based testing
Verification and analysis of domain-specific models of physical characteristics in embedded control software
Keywords: تأیید زمان اجرا; Runtime verification; Domain-specific languages; Embedded systems; Control software; Aspect-oriented software development
Runtime verification of cryptographic protocols
Keywords: تأیید زمان اجرا; Security protocols; SSL; Java; Temporal logic; Static verification; Runtime verification; Security automata
Introspection mechanisms for runtime verification in a system-level design environment
Keywords: تأیید زمان اجرا; Net introspection; Runtime verification; Simulation; System-level design; ESys.NET; SystemC
Runtime Verification of Concurrent Haskell Programs
Keywords: تأیید زمان اجرا; Runtime Verification; LTL Checking; Haskell;
Runtime Refinement Checking of Concurrent Data Structures
Keywords: تأیید زمان اجرا; Runtime verification; concurrent data structures; refinement; atomicity;
Monitoring Algorithms for Metric Temporal Logic Specifications
Keywords: تأیید زمان اجرا; Runtime verification; execution trace; specification; metric temporal logic;
jMonitor: Java Runtime Event Specification and Monitoring Library
Keywords: تأیید زمان اجرا; Aspect-oriented programming; event monitoring; byte-code instrumentation; runtime verification; jMonitor;
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Keywords: تأیید زمان اجرا; Runtime verification; DFA simulation; DFA; MEDL;
Combining test case generation and runtime verification
Keywords: تأیید زمان اجرا; Automated testing; Test case generation; Model checking; Symbolic execution; Runtime verification; Temporal logic; Concurrency analysis; NASA rover controller;