Entdecken

Duration Calculus
106,99 € *

inkl. MwSt. zzgl. Versandkosten

Sofort versandfertig, Lieferzeit ca. 1-3 Werktage

  • Springer, Berlin
  • Chaochen Zhou
  • KNV12302095
  • 9783540408239
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and... mehr
Produktinformationen "Duration Calculus"
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).
Weiterführende Links zu "Duration Calculus"
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Duration Calculus"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.
Bitte geben Sie die Zeichenfolge in das nachfolgende Textfeld ein.

Die mit einem * markierten Felder sind Pflichtfelder.

Zuletzt angesehen