Publication: Research - peer-review › Journal article – Annual report year: 1997
The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.
|Journal||Formal Aspects of Computing|
|State||Published - 1997|
|Period||01/01/1997 → …|