- Tytuł:
- Verifying RTECTL properties of a train controller systems
- Autorzy:
-
Woźna-Szcześniak, B.
Zbrzezny, A.
Zbrzezny, Andrzej - Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
RTECTL
train controller systems
BMC method
system kontrolera pociągu
metoda BMC - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki