Keywords: سیستم های واکنش پذیر; Specification; Reactive systems; Dynamic logic; Hybrid logic;
مقالات ISI سیستم های واکنش پذیر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم های واکنش پذیر; Self-stabilization; Reactive systems; Adversary; Formal methods;
Keywords: سیستم های واکنش پذیر; Heterogeneous knowledge; Stream reasoning; Knowledge integration; Reactive systems; Dynamic systems;
Keywords: سیستم های واکنش پذیر; Context-aware mobile applications; Pervasive applications; Situation awareness; Reactive systems;
Keywords: سیستم های واکنش پذیر; Stochastic thermodynamics; Master equation; Reactive systems; Fluctuation theorem
Keywords: سیستم های واکنش پذیر; Biodiesel; SAFT-VR; Reactive systems;
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems
Keywords: سیستم های واکنش پذیر; Reactive systems; Dynamic system structure; Scenarios; Realizability; Controller synthesis;
From Teleo-Reactive specifications to architectural components: A model-driven approach
Keywords: سیستم های واکنش پذیر; Teleo-Reactive programs; Component-based software development; Reactive systems; Robotics; Model-driven software development
A simultaneous method for phase identification and equilibrium calculations in reactive mixtures
Keywords: سیستم های واکنش پذیر; Multiphase calculations; Chemical equilibrium; Reactive systems;
A formal approach for the development of reactive systems
Keywords: سیستم های واکنش پذیر; Reactive systems; Event-B method; Refinement; Language TLA+; Liveness properties; Verification
An effective calculation procedure for two-phase equilibria in multireaction systems
Keywords: سیستم های واکنش پذیر; Phase equilibria; Chemical equilibrium; Reactive systems; Reactive flash
OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS
Keywords: سیستم های واکنش پذیر; Optimal discrete controller synthesis; fault-tolerance; checkpointing; reactive systems; embedded systems
An algebraic formulation for an equal area rule to determine phase compositions in simple reactive systems
Keywords: سیستم های واکنش پذیر; Chemical equilibrium; Phase equilibrium; Equal areas; Compositions; Reactive systems
Cone calorimetry studies of polymer systems flame retarded by chemically bonded phosphorus
Keywords: سیستم های واکنش پذیر; Flame retardance; Phosphorus-containing compounds; Reactive systems; Additive systems; Cone calorimetry; LOI;
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Keywords: سیستم های واکنش پذیر; Reactive systems; concurrency; formal modelling and verification; symmetry reduction; distributed systems; Promela/Spin; Gap/Grape; nauty;
Probabilistic temporal logics via the modal mu-calculus
Keywords: سیستم های واکنش پذیر; Probabilistic transition systems; Reactive systems; Probabilistic temporal logic; Model-checking; Probabilistic bisimulation;