Verification of system level model transformations (Q2506292)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of system level model transformations
scientific article

    Statements

    Verification of system level model transformations (English)
    0 references
    0 references
    0 references
    28 September 2006
    0 references
    System level modeling
    0 references
    verification
    0 references
    model transformations
    0 references
    design methodology
    0 references

    Identifiers