Temat: FORMAL - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Multigraph is: Part 1. A formal description of railway infrastructure for the digital twin of the ETCS application
Autorzy:: Kochan, Andrzej
Folęga, Piotr
Skirkus, Remigijus
Bureika, Gintautas
Data publikacji:: 2023
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: rail transport
modeling
infrastructure representation
Multigraph IS
formal specification
transport kolejowy
modelowanie
reprezentacja infrastruktury
Multigraf IS
specyfikacja formalna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Multigraph is: Part 1. A formal description of railway infrastructure for the digital twin of the ETCS application
Autorzy:: Kochan, Andrzej
Folęga, Piotr
Skirkus, Remigijus
Bureika, Gintautas
Data publikacji:: 2023
Słowa kluczowe:: rail transport
modeling
infrastructure representation
Multigraph IS
formal specification
transport kolejowy
modelowanie
reprezentacja infrastruktury
Multigraf IS
specyfikacja formalna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Wybrane zagadnienia automatyzacji prowadzenia pojazdów szynowych
Autorzy:: Koper, Emilia
Kochan, Andrzej
Ilczuk, Przemysław
Data publikacji:: 2019
Słowa kluczowe:: pojazd szynowy
prowadzenie automatyczne
stopnie automatyzacji
analiza formalno-prawna
train
automatic train operation
grades of automation
formal and legal analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Wybrane zagadnienia automatyzacji prowadzenia pojazdów szynowych
Autorzy:: Koper, Emilia
Kochan, Andrzej
Ilczuk, Przemysław
Data publikacji:: 2019
Słowa kluczowe:: pojazd szynowy
prowadzenie automatyczne
stopnie automatyzacji
GoA
analiza formalno-prawna
train
automatic train operation
grades of automation
formal and legal analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wybrane zagadnienia automatyzacji prowadzenia pojazdów szynowych
Selected issues of automation of rail vehicles operation
Autorzy:: Koper, Emilia
Kochan, Andrzej
Ilczuk, Przemysław
Data publikacji:: 2019
Wydawca:: Politechnika Warszawska, Wydział Transportu
Tematy:: pojazd szynowy
prowadzenie automatyczne
stopnie automatyzacji
analiza formalno-prawna
train
automatic train operation
grades of automation
formal and legal analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Wybrane zagadnienia automatyzacji prowadzenia pojazdów szynowych
Selected issues of automation of rail vehicles operation
Autorzy:: Koper, Emilia
Kochan, Andrzej
Ilczuk, Przemysław
Data publikacji:: 2019
Wydawca:: Politechnika Warszawska, Wydział Transportu
Tematy:: pojazd szynowy
prowadzenie automatyczne
stopnie automatyzacji
GoA
analiza formalno-prawna
train
automatic train operation
grades of automation
formal and legal analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja