×







We Sell 100% ORIGINAL Books ONLY.

Duration Calculus A Formal Approach To Real-Time Systems 2004 Edition at Meripustak

Duration Calculus A Formal Approach To Real-Time Systems 2004 Edition by Chaochen Zhou Michael R. Hansen , Springer

Books from same Author: Chaochen Zhou Michael R. Hansen

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Price: ₹ 12179.00/- [ 11.00% off ]

    Seller Price: ₹ 10839.00

Sold By: Meripustak      Click for Bulk Order

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Estimated Delivery Time : 11-Dec-2022


Click for International Orders
  • We deliver across all postal codes in India

  • MeriPustak’s books are 100 % New & Original copy
  • General Information  
    Author(s)Chaochen Zhou Michael R. Hansen
    PublisherSpringer
    ISBN9783540408239
    Pages250
    BindingHardback
    LanguageEnglish
    Publish YearFebruary 2004

    Description

    Springer Duration Calculus A Formal Approach To Real-Time Systems 2004 Edition by Chaochen Zhou Michael R. Hansen

    A comprehensive introduction to interval logic and duration calculus for modelling analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {01}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness decidability undecidability model-checking) results as well as case studies (Deadline Driven Scheduler). Table of contents : 1. Introduction.- 2. Interval Logic.- 3. Duration Calculus.- 4. Deadline-Driven Scheduler.- 5. Relative Completeness.- 6. Decidability.- 7. Undecidability.- 8. Model Checking: Linear Duration Invariants.- 9. State Transitions and Events.- 10. Superdense State Transitions.- 11. Neighborhood Logic.- 12. Probabilistic Duration Calculus.- References.- Abbreviations.- Symbol Index.