Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification, testing and implementation relations for symbolic-probabilistic systems
scientific article

    Statements

    Specification, testing and implementation relations for symbolic-probabilistic systems (English)
    0 references
    0 references
    0 references
    0 references
    28 April 2006
    0 references
    Symbolic-probabilistic finite state machines
    0 references
    Conformance testing
    0 references
    Test derivation and application
    0 references

    Identifiers