Protocol conformance through refinement mappings in cadence SMV (Q998103)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Protocol conformance through refinement mappings in cadence SMV
scientific article

    Statements

    Protocol conformance through refinement mappings in cadence SMV (English)
    0 references
    10 August 2007
    0 references
    model-driven software design
    0 references
    protocol state machines
    0 references

    Identifiers