Formal verification of safety protocol in train control system (Q2321189)

From MaRDI portal
Revision as of 00:09, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Formal verification of safety protocol in train control system
scientific article

    Statements

    title
    Formal verification of safety protocol in train control system (English)
    0 references
    author
    Yan Zhang
    0 references
    Tao Tang
    0 references
    Keping Li
    0 references
    Jose Manuel Mera
    0 references
    Lin Zhao
    0 references
    L. Zhu
    0 references
    Tianhua Xu
    0 references
    publication date
    28 August 2019
    0 references
    zbMATH Keywords
    train control system
    0 references
    safety communication protocol
    0 references
    interface automata
    0 references
    verification
    0 references
    describes a project that uses
    SPIN
    0 references
    vUML
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    93C83
    0 references
    zbMATH DE Number
    7099118
    0 references
    OpenAlex ID
    W2110481971
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2321189&oldid=39009271"
    Powered by MediaWiki