Spar
Duration Calculus
Forfatter:
heftet, 2010
Engelsk
as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.
This book presents the logical foundations of duration calculus in a coherent and thorough manner.
- Undertittel
- A Formal Approach to Real-Time Systems
- Forfatter
- Chaochen Zhou, Michael R. Hansen
- Opplag
- Softcover reprint of hardcover 1st ed. 2004
- ISBN
- 9783642074042
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.12.2010
- Antall sider
- 250
