Interval-Based Resource Usage Verification: Formalization and Prototype (Q3167526)

From MaRDI portal
Revision as of 19:06, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Interval-Based Resource Usage Verification: Formalization and Prototype
scientific article

    Statements

    Interval-Based Resource Usage Verification: Formalization and Prototype (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 November 2012
    0 references
    cost analysis
    0 references
    resource usage analysis
    0 references
    resource usage verification
    0 references
    program verification and debugging
    0 references

    Identifiers