The Production Cell: An Exercise in the Formal Verification of a UML Model

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapport

    OriginalspråkOdefinierat/okänt
    FörlagTurku Centre for Computer Science (TUCS)
    Antal sidor20
    ISBN (tryckt)952-12-0480-X
    StatusPublicerad - 1999
    MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

    Citera det här