-
1Academic Journal
المؤلفون: Michał Grzybowski, Jakub Młyńczak, Lucyna Sokołowska
المصدر: Archives of Transport, Vol 72, Iss 4 (2024)
مصطلحات موضوعية: railway signalling, route dependencies, interlocking, Engineering (General). Civil engineering (General), TA1-2040, Transportation engineering, TA1001-1280, Automation, T59.5
وصف الملف: electronic resource
-
2Academic Journal
المصدر: Applied Sciences, Vol 14, Iss 23, p 11274 (2024)
مصطلحات موضوعية: railway signalling devices, safety, exploitation process, graph of system state transition, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Qing Wu, X Ge, S Zhu, Colin Cole, Maksym Spiryagin
مصطلحات موضوعية: Dynamics, vibration and vibration control, Numerical modelling and mechanical characterisation, Mechanical engineering not elsewhere classified, Dynamic coupling, Digital automatic coupling, Train control, Train dynamics, Railway signalling
-
4Book
-
5Academic Journal
المؤلفون: Simone Soderi, Daniele Masti, Matti Hamalainen, Jari Iinatti
المصدر: IEEE Access, Vol 11, Pp 92312-92321 (2023)
مصطلحات موضوعية: Railway security, jamming, TS 50701, railway communications, telecommunication security, railway signalling, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
6Academic Journal
المؤلفون: Aït-Ameur, Yamine, Bogomolov, Sergiy, Dupont, Guillaume, Iliasov, Alexei, Romanovsky, Alexander, Stankaitis, Paulius
المساهمون: Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (ENSEEIHT), Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université de Toulouse (UT), Newcastle University Newcastle, ANR-17-CE25-0005,DISCONT,Intégration correcte de modèles discrets et continus(2017)
المصدر: ISSN: 0934-5043.
مصطلحات موضوعية: Formal verification hybridised Event-B cyber-physical railway signalling systems, Formal verification, hybridised Event-B, cyber-physical railway signalling systems, [SPI]Engineering Sciences [physics]
Relation: hal-04285134; https://hal.science/hal-04285134; https://hal.science/hal-04285134/document; https://hal.science/hal-04285134/file/AIT_AMEUR.pdf
-
7Academic Journal
المؤلفون: Grzegorz WOJNAR, Maciej IRLIK
المصدر: Transport Problems, Vol 17, Iss 2, Pp 199-212 (2022)
مصطلحات موضوعية: railway signalling, train simulation, simulator, train control, Transportation engineering, TA1001-1280
وصف الملف: electronic resource
-
8Academic Journal
المؤلفون: Florin BĂDĂU
المصدر: Promet (Zagreb), Vol 34, Iss 3, Pp 443-454 (2022)
مصطلحات موضوعية: railway interlocking, railway safety, railway statistics, relay interlocking, electronic interlocking, railway signalling, Transportation engineering, TA1001-1280
وصف الملف: electronic resource
-
9
المؤلفون: Rizopoulos, Dimitrios, Olsson, N. O. E., Lindahl, A., Lindfeldt, O.
المصدر: WIT Transactions on the Built Environment. :75-86
مصطلحات موضوعية: Formal methods, Railway signalling, Technology adoption
وصف الملف: print
-
10Academic Journal
المؤلفون: Soderi, S. (S.), Masti, D. (D.), Hämäläinen, M. (M.), Iinatti, J. (J.)
مصطلحات موضوعية: Railway security, TS 50701, jamming, railway communications, railway signalling, telecommunication security
وصف الملف: application/pdf
-
11Dissertation/ Thesis
المؤلفون: 齊藤,嘉久
مصطلحات موضوعية: 無線式列車制御システム, 鉄道信号, 連動装置, 統合型列車制御システム, Communication based train control system, Railway signalling, Interlocking equipment, Unified train control system
وصف الملف: application/pdf
Degree: 博士(工学) -- 日本大学
-
12Academic Journal
المؤلفون: J. I. D. Jayasundara
المصدر: Journal of South Asian Logistics and Transport, Vol 1, Iss 2, Pp 35-56 (2021)
مصطلحات موضوعية: railway signalling, sri lanka railway, technological innovation, selfreliance, operational sustainability, cost economics, Transportation and communications, HE1-9990
وصف الملف: electronic resource
-
13Conference
المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo
مصطلحات موضوعية: Requirements analysis, formal methods, software engineering, railway signalling
Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.7225869; https://doi.org/10.5281/zenodo.7298044; oai:zenodo.org:7298044
-
14
المؤلفون: Correia, José Mário Tavares
المساهمون: Gericota, Manuel Gradim de Oliveira, Repositório Científico do Instituto Politécnico do Porto
مصطلحات موضوعية: Ferrovia, Sistema sinalização Ferroviário, Encravamento, SIL, SCADE Suite, KCG, SILworX, Eclipse, WPF, XML, Railway, Railway Signalling System, Interlocking
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10400.22/18119
-
15
المؤلفون: Marques, Marcelo Rodrigo Almeida
مصطلحات موضوعية: ASK, FSK, Modulation Detector, FPGA, ERTMS, Railway Signalling
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10773/29909
-
16
المؤلفون: Damschen, Marvin, Vinter, Jonny, Iovino, Salvatore Danilo, Canesi, Stefano, Ottonello, Elia, Parrilla Ayuso, Francisco, Lanillos Carrasco, Guillermo, Schenker, Moritz, Stickel, Sebastian, Goikoetxea, Javier
المساهمون: Müller, Ralph, Contributor, Nalbant, Merve, Contributor, Zander, Edgard, Riquier, Vincent
المصدر: X2Rail-3.
مصطلحات موضوعية: VCTS, Virtual Coupling, SWOT, Railway Signalling
وصف الملف: electronic
-
17
المؤلفون: Leibner, Philipp Simon
المصدر: doi:10.18154/RWTH-2024-02040
مصطلحات موضوعية: railways, advanced driver assistance systems, object detection, artificial intelligence, autonomous trains, computer vision, automatic train protection, railway signalling
جغرافية الموضوع: DE
Relation: https://publications.rwth-aachen.de/record/980030; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2024-02040%22
-
18Dissertation/ Thesis
المؤلفون: Chlebek, Daniel
مصطلحات موضوعية: regional railway lines, railway signalling, innovative vehicle propulsion, case study, low traffic intensity railway, heritage railway refurbishment, tram-train, Transport Systems and Logistics, Transportteknik och logistik
وصف الملف: application/pdf
-
19Academic Journal
المؤلفون: Maciej IRLIK
المصدر: Scientific Journal of Silesian University of Technology. Series Transport, Vol 96, Pp 49-57 (2017)
مصطلحات موضوعية: railway, ERTMS, ETCS, line mileage, safety systems, railway signalling, measurement, Engineering (General). Civil engineering (General), TA1-2040, Transportation engineering, TA1001-1280
وصف الملف: electronic resource
-
20Report
المؤلفون: Franco Mazzanti
مصطلحات موضوعية: 4SECURail, Formal Methods for Railway Signalling Sistems, Requirements Validation, Formal Methods Diversity
Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.5807738; https://doi.org/10.5281/zenodo.5997431; oai:zenodo.org:5997431