Formalising UML State Machines for Model Checking

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    112 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationUML'99 The Unified Modeling Language
    PublisherSpringer
    Pages430–445
    ISBN (Electronic)978-3-540-46852-3
    ISBN (Print)978-3-540-66712-4
    DOIs
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication
    Eventconference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99)
    Duration: 28 Oct 199930 Oct 1999

    Conference

    Conferenceconference; 1999-10-28; 1999-10-30
    Period28/10/9930/10/99

    Cite this