- 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ł