Formal methods of analysis of system properties (Q2487874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal methods of analysis of system properties
scientific article

    Statements

    Formal methods of analysis of system properties (English)
    0 references
    0 references
    0 references
    12 August 2005
    0 references
    transition system
    0 references
    formal method
    0 references
    specification
    0 references
    verification
    0 references
    feature interaction
    0 references
    Petri net
    0 references

    Identifiers