Keywords: تأیید احتمالاتی; Auto-scaling; Markov models; Probabilistic verification;
مقالات ISI تأیید احتمالاتی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تأیید احتمالاتی; Probabilistic timed automata; Controller synthesis; Probabilistic verification; Symbolic model checking;
Keywords: تأیید احتمالاتی; Probabilistic verification; Validation; Multi-robot missions; Behavior-based robots;
Keywords: تأیید احتمالاتی; Reference evapotranspiration; Numerical weather prediction; Limited area models; Ensemble; Probabilistic verification;
Keywords: تأیید احتمالاتی; Socio-technical systems; Security assessment; Probabilistic verification; Security model
Keywords: تأیید احتمالاتی; Satellite systems; Formal methods; Model checking; Reliability; Availability; Probabilistic verification;
Keywords: تأیید احتمالاتی; Probabilistic verification; Abstraction refinement;
Keywords: تأیید احتمالاتی; Probabilistic verification; Compositional verification; Assume-guarantee reasoning; Probabilistic automata;
Verification of ensemble flow forecasts for the River Rhine
Keywords: تأیید احتمالاتی; Hydrologic ensemble forecasting; Probabilistic verification; River Rhine; ECMWF-EPS; COSMO-LEPS; HBV
Model Checking Functional and Performability Properties of Stochastic Fluid Models
Keywords: تأیید احتمالاتی; Model checking; probabilistic verification; stochastic fluid models;