Differential Logic for Reasoning About Hybrid Systems (Q3613026)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Differential Logic for Reasoning About Hybrid Systems
scientific article

    Statements

    Differential Logic for Reasoning About Hybrid Systems (English)
    0 references
    0 references
    11 March 2009
    0 references
    dynamic logic
    0 references
    hybrid systems
    0 references
    parametric verification
    0 references

    Identifiers