Duration Calculus
Produktnummer:
18c6ddf0d7513e474d8eb8594526c78882
| Autor: | Hansen, Michael R. Zhou, Chaochen |
|---|---|
| Themengebiete: | Duration Calculus Formal Verification Interval Logic Logic Calculi Model Checking Real-time Systems design development formal methods formal specification |
| Veröffentlichungsdatum: | 09.12.2010 |
| EAN: | 9783642074042 |
| Sprache: | Englisch |
| Seitenzahl: | 250 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | A Formal Approach to Real-Time Systems |
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).
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen