Tallenna
Duration Calculus
Kirjailija:
nidottu, 2010
englanti
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.
- Alaotsikko
- A Formal Approach to Real-Time Systems
- Kirjailija
- Chaochen Zhou, Michael R. Hansen
- Painos
- Softcover reprint of hardcover 1st ed. 2004
- ISBN
- 9783642074042
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.12.2010
- Sivumäärä
- 250
