Get Free Shipping on orders over $79
Duration Calculus : A Formal Approach to Real-Time Systems - Michael Hansen

Duration Calculus

A Formal Approach to Real-Time Systems

By: Michael Hansen, Chaochen Zhou

Hardcover | 4 December 2003

At a Glance

Hardcover


$169.75

or 4 interest-free payments of $42.44 with

 or 

Ships in 5 to 7 business days

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. {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).

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman