872.05 PLN with VAT
$196.17 / €160.38 / £147.43
261.62 PLN with VAT
$58.85 / €48.12 / £44.23
348.82 PLN with VAT
$78.47 / €64.16 / £58.97
436.03 PLN with VAT
$98.08 / €80.19 / £73.72
523.23 PLN with VAT
$117.70 / €96.23 / £88.46
566.83 PLN with VAT
$127.51 / €104.25 / £95.84
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).
Duration Calculus