Keywords: Railway signalling; ERTMS/ETCS; Hybrid systems; Real-Time Maude; Model-checking;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Train trajectory optimisation; Railway signalling; European rail traffic management system; Railway simulation; STS; Single train simulator; MTS; Multi train simulator; BFA; Brute force algorithm; ERTMS; European rail traffic management system;
Keywords: Train trajectory optimization; Railway signalling; Pseudospectral method; Optimal control
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Keywords: Railway signalling; interlocking; safety-critical systems; formal specification; Statecharts; validation;