Algebraic approach for dependable logic control systems design (Q4671282)

From MaRDI portal
scientific article; zbMATH DE number 2161387
Language Label Description Also known as
English
Algebraic approach for dependable logic control systems design
scientific article; zbMATH DE number 2161387

    Statements

    Algebraic approach for dependable logic control systems design (English)
    0 references
    26 April 2005
    0 references
    logic control system
    0 references
    algebra II
    0 references
    formal design method
    0 references

    Identifiers