Behavioural and abstractor specifications revisited (Q724932)

From MaRDI portal





scientific article; zbMATH DE number 6910729
Language Label Description Also known as
English
Behavioural and abstractor specifications revisited
scientific article; zbMATH DE number 6910729

    Statements

    Behavioural and abstractor specifications revisited (English)
    0 references
    0 references
    0 references
    0 references
    26 July 2018
    0 references
    algebraic specification
    0 references
    specification of reactive systems
    0 references
    observable behaviour
    0 references
    observational abstraction
    0 references

    Identifiers