Spara
Duration Calculus
Författare:
häftad, 2010
Engelska
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.
- Undertitel
- A Formal Approach to Real-Time Systems
- Författare
- Chaochen Zhou, Michael R. Hansen
- Upplaga
- Softcover reprint of hardcover 1st ed. 2004
- ISBN
- 9783642074042
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-12-09
- Sidor
- 250
