Robust Computations with Dynamical Systems (Q3586084)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Robust Computations with Dynamical Systems
scientific article

    Statements

    Robust Computations with Dynamical Systems (English)
    0 references
    0 references
    0 references
    0 references
    3 September 2010
    0 references
    verification
    0 references
    model-checking
    0 references
    computable analysis
    0 references
    analog computations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references