MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.
Saved in:
| 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 |
Be the first to leave a comment!
