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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: asn
DbLabel: Academic Search Ultimate
An: 194814845
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22GRZYBOWSKI%2C+Michał%22">GRZYBOWSKI, Michał</searchLink><relatesTo>1</relatesTo><i> michal.grzybowski@polsl.pl</i><br /><searchLink fieldCode="AR" term="%22MŁYŃCZAK%2C+Jakub%22">MŁYŃCZAK, Jakub</searchLink><relatesTo>1</relatesTo><i> jakub.mlynczak@polsl.pl</i><br /><searchLink fieldCode="AR" term="%22SOKOŁOWSKA%2C+Lucyna%22">SOKOŁOWSKA, Lucyna</searchLink><relatesTo>2</relatesTo><i> lsokolowska@ikolej.pl</i><br /><searchLink fieldCode="AR" term="%22MATOWICKI%2C+Michał%22">MATOWICKI, Michał</searchLink><relatesTo>3</relatesTo><i> michal.matowicki@cvut.cz</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Transport+Problems%3A+an+International+Scientific+Journal%22">Transport Problems: an International Scientific Journal</searchLink>. 2026, Vol. 21 Issue 1, p203-216. 14p.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=asn&AN=194814845
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.20858/tp.2026.21.1.16
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 14
        StartPage: 203
    Titles:
      – TitleFull: MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: GRZYBOWSKI, Michał
      – PersonEntity:
          Name:
            NameFull: MŁYŃCZAK, Jakub
      – PersonEntity:
          Name:
            NameFull: SOKOŁOWSKA, Lucyna
      – PersonEntity:
          Name:
            NameFull: MATOWICKI, Michał
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2026
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 18960596
          Numbering:
            – Type: volume
              Value: 21
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Transport Problems: an International Scientific Journal
              Type: main
ResultId 1