Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

Li Xuoandong, Johan Lilius

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

    Original languageUndefined/Unknown
    Title of host publicationProceedings of 7th Asia Pacific Software Engineering Conference
    PublisherIEEE Computer Society
    Pages154–161
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2000-12-05; 2000-12-08 - 7th Asia Pacific Software Engineering Conference (APSEC 2000)
    Duration: 5 Dec 20008 Dec 2000

    Conference

    Conferenceconference; 2000-12-05; 2000-12-08
    Period05/12/0008/12/00

    Cite this