View in EDS PDF Full Text

MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.

Saved in:
Bibliographic Details
Title: MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.
Authors: GRZYBOWSKI, Michał1 michal.grzybowski@polsl.pl, MŁYŃCZAK, Jakub1 jakub.mlynczak@polsl.pl, SOKOŁOWSKA, Lucyna2 lsokolowska@ikolej.pl, MATOWICKI, Michał3 michal.matowicki@cvut.cz
Source: Transport Problems: an International Scientific Journal. 2026, Vol. 21 Issue 1, p203-216. 14p.
Database: Academic Search Ultimate
Description
ISSN:18960596
DOI:10.20858/tp.2026.21.1.16