Safeguarding a railway control system with path expressions

J.J. Luursema

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages34
    JournalMemoranda informatica
    Volume92
    Issue number47
    Publication statusPublished - 1992

    Keywords

    • METIS-121839

    Cite this