On the testability of SDL specifications (Q1881177)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the testability of SDL specifications
scientific article

    Statements

    On the testability of SDL specifications (English)
    0 references
    0 references
    4 October 2004
    0 references
    infeasible path problem
    0 references
    Inres protocol
    0 references

    Identifiers