Wszystkie pola: computer validation system

Skocz do pozycji: 2.

Tytuł:: Semi-formal methods in safety railway control systems validation
Autorzy:: Magott, J.
Lewiński, A.
Perzyński, T
Data publikacji:: 2013
Wydawca:: Polskie Stowarzyszenie Telematyki Transportu
Tematy:: safety analysis
railway control computer system
THR
FTA
FTTD method
Markov process analysis
analiza bezpieczeństwa
komputerowe systemy sterowania ruchem kolejowym
metoda FTTD
analiza procesu Markowa; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja