Year of publication
Type of media
Source
Subject
Type of material
Language
Synonyms were used for: Eisenbahnverkehr
Search without synonyms: keywords:("Eisenbahnverkehr")
Used synonyms:
- bahnverkehr
- railroads
-
A Vision of Intelligent Train Control
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Formal Design and Validation of an Automatic Train Operation Control System
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Optimal Railway Routing Using Virtual Subsections
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Investigating Human Error Within GoA-2 Metro Lines
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Acceleration Techniques for Symbolic Simulation of Railway Timetables
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Assigning Safe Executed Systems to Meanings
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
The 4SECURail Formal Methods Demonstrator
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Generating and Verifying Configuration Data with OVADO
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Compositional Verification of Railway Interlockings: Comparison of Two Methods
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Safety Invariant Verification that Meets Engineers’ Expectations
TIBKAT | 2022|Keywords: Eisenbahnverkehr, Railroads, EISENBAHNUNFÄLLE + EISENBAHNSICHERHEIT (EISENBAHNVERKEHR) -
Process Design and Analysis of Emergency Decision Support System for High-Speed Rail Transport Organization
British Library Conference Proceedings | 2014|Keywords: Electric railroads, Railroads -
Analysis of Related Factors Influencing Reliability of Railway Signaling Systems Based on Fuzzy Analytical Hierarchy Process
British Library Conference Proceedings | 2014|Keywords: Electric railroads, Railroads -
Primary Permanent Magnet Linear Motors for Rail Transit
British Library Conference Proceedings | 2014|Keywords: Electric railroads, Railroads -
Research on Determination of High-Speed Rail Operation Mode
British Library Conference Proceedings | 2014|Keywords: Electric railroads, Railroads
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.