TTS Technika Transportu Szynowego > 2013 > R. 20, nr 10 > 1587--1596, CD
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 1232-3829 |
e-ISSN czasopisma : | 2543-5728 |
Autorzy
Słowa kluczowe
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
1. Kanso K., Moller F., Setzer A., Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science, AVoCS 2008.
-
2. Koliński D., Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport z.86, Warszawa 2012, s.35-52.
-
3. Kawalec P., Rżysko M., Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk w językach opisu sprzętu. Technika Transportu Szynowego, nr 9/2012, s.1605-1614.