Author: Chaochen Zhou
Edition:
Binding: Hardcover
ISBN: 0387948813
Edition:
Binding: Hardcover
ISBN: 0387948813
Duration Calculus
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. Get Duration Calculus computer books for free.
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. {0,1}-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). Check Duration Calculus our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.
Duration Calculus Download
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. {0,1}-valued) functions over time to model states of real-time systems
No comments:
Post a Comment