Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

Li Xuandong, Johan Lilius

    Research output: Book/ReportCommissioned reportProfessional

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science
    Number of pages20
    ISBN (Print)952-12-0703-5
    Publication statusPublished - 2000
    MoE publication typeD4 Published development or research report or study

    Cite this