Formal design and analysis of a gear controller (Q5953452)

From MaRDI portal
scientific article; zbMATH DE number 1694306
Language Label Description Also known as
English
Formal design and analysis of a gear controller
scientific article; zbMATH DE number 1694306

    Statements

    Formal design and analysis of a gear controller (English)
    0 references
    0 references
    0 references
    0 references
    29 September 2002
    0 references
    real-time systems
    0 references
    design
    0 references
    timed automata
    0 references
    model checking
    0 references
    automotive systems
    0 references

    Identifiers