Název: Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS
Překlad názvu: Analysis of Characteristics of Train Traffic Controlled by ERTMS/ETCS
Autoři: Ondroušek, Adam ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2024
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: ERTMS; ETCS; modelování; simulace; Uppaal; Uppaal SMC; vlakový zabezpečovač; česká železnice; Czech railways; ERTMS; ETCS; modelling; simulation; train control system; Uppaal; Uppaal SMC

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: https://hdl.handle.net/11012/247808

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-618768


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2024-06-22, naposledy upraven 2024-06-22.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet