Keywords: چک کردن مدل آماری; Natural disaster management; PRISM model checker; Statistical model checking; Relief supply location and distribution;
مقالات ISI چک کردن مدل آماری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: چک کردن مدل آماری; Modelling and verification; Model checking; Statistical model checking; Actors; Asynchronous message passing; Timing constraints; Probabilistic behavior; Uppaal;
Keywords: چک کردن مدل آماری; Temporal logic properties; Bayesian inference; Linear time-invariant models; Model-based verification; Reachability analysis; Data-driven validation; Statistical model checking;
Keywords: چک کردن مدل آماری; Statistical model checking; cyber–physical systems; Situation calculus; Discrete event simulation
Keywords: چک کردن مدل آماری; Statistical model checking; Monte Carlo; Rare events; Importance sampling; Cross entropy; Guarded commands;
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Keywords: چک کردن مدل آماری; Cyber-Physical Systems; MARTE; pCCSL; Stochastic hybrid automata; Energy-aware building; Statistical model checking;
Stochastic analysis of BPMN with time in rewriting logic
Keywords: چک کردن مدل آماری; BPMN business processes; Stochastic modeling and analysis; Rewriting logic; Statistical model checking; Maude;
Statistical and exact schedulability analysis of hierarchical scheduling systems
Keywords: چک کردن مدل آماری; Hierarchical scheduling systems; Schedulability analysis; Resource utilization; Uppaal; Statistical model checking
Statistical model checking of Timed Rebeca models
Keywords: چک کردن مدل آماری; Statistical model checking; McErlang; Timed Rebeca; Performance analysis; Real-time systems;
Modelling and analyzing adaptive self-assembly strategies with Maude
Keywords: چک کردن مدل آماری; Adaptation; Maude; Reflective Russian Dolls; Statistical model checking; PVeStA
Minimal probabilistic P systems for modelling ecological systems
Keywords: چک کردن مدل آماری; P systems; Statistical model checking; Stochastic simulation; Ecosystems modelling
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Keywords: چک کردن مدل آماری; Discrete event stochastic process; Statistical model checking; Performance evaluation
Rare event simulation for highly dependable systems with fast repairs
Keywords: چک کردن مدل آماری; Statistical model checking; Rare events; Importance sampling; Dependable systems;