Wszystkie pola: interlocking tables

Skocz do pozycji: 1.

Tytuł:: Method for automation of generation of interlocking tables for station traffic control devices
Autorzy:: Jurczak, Mateusz
Młyńczak, Jakub
Data publikacji:: 2020
Słowa kluczowe:: interlocking tables
schematic plan
railway control devices
tablice zależności
plan schematyczny
urządzenia sterowania ruchem kolejowym; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Method for automation of generation of interlocking tables for station traffic control devices
Metoda automatyzacji tworzenia tablic zależności stacyjnych urządzeń srk
Autorzy:: Jurczak, Mateusz
Młyńczak, Jakub
Data publikacji:: 2020
Wydawca:: Politechnika Warszawska, Wydział Transportu
Tematy:: interlocking tables
schematic plan
railway control devices
tablice zależności
plan schematyczny
urządzenia sterowania ruchem kolejowym; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Autorzy:: Mirabadi, Ahmad
Współwytwórcy:: Yazdi, Mohammad B.
Data publikacji:: 2009
Dostawca treści:: Academica

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Autorzy:: Mirabadi, A.
Yazdi, M.
Data publikacji:: 2009
Słowa kluczowe:: ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Automatyczna generacja i sprawdzanie tablic zależności dla systemu sterowania ruchem kolejowym z wykorzystaniem metody automatów skończonych i formalnych technik weryfikacji
Autorzy:: Mirabadi, A.
Yazdi, M.
Data publikacji:: 2009
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja