Keywords: اتوماتای زمانبندی احتمالی; Model checking; Parameter synthesis; Probabilistic reachability; Probabilistic timed automata; Markov decision processes; Stochastic games;
مقالات ISI اتوماتای زمانبندی احتمالی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اتوماتای زمانبندی احتمالی; Graph transformations; Probabilistic timed automata; PTCTL; PRISM model checker; HENSHIN;
Keywords: اتوماتای زمانبندی احتمالی; Probabilistic timed automata; Controller synthesis; Probabilistic verification; Symbolic model checking;
Keywords: اتوماتای زمانبندی احتمالی; unmanned surface vehicles; collision avoidance; probabilistic timed automata; formal methods; probabilistic model checking;
Keywords: اتوماتای زمانبندی احتمالی; Probabilistic timed automata; Two-player games; Competitive optimisation; Controller synthesis;
Keywords: اتوماتای زمانبندی احتمالی; Probabilistic Timed Automata; Timed Markov Decision Process; IMCA model checker; Probabilistic Timed Rebeca; Model checking; Performance analysis
A quantitative verification framework of SysML activity diagrams under time constraints
Keywords: اتوماتای زمانبندی احتمالی; SysML activity diagram; Probabilistic Timed Automata; Model checking; PCTL;