Unifying models (Q5047155)

From MaRDI portal
scientific article; zbMATH DE number 7614452
Language Label Description Also known as
English
Unifying models
scientific article; zbMATH DE number 7614452

    Statements

    Unifying models (English)
    0 references
    0 references
    9 November 2022
    0 references
    abstraction
    0 references
    architecture
    0 references
    behaviour
    0 references
    completeness
    0 references
    consistency
    0 references
    decidability
    0 references
    expressivity
    0 references
    temporal models
    0 references
    partial evaluation
    0 references
    intermediate language
    0 references
    operational semantics
    0 references
    refinement
    0 references
    temporal logic
    0 references
    transition system
    0 references
    verification
    0 references
    0 references
    0 references

    Identifiers