Journal article
Duration Calculus: Logical Foundations
In
Formal Aspects of Computing
—
1997, Volume 9, Issue 3, pp. 283-330
Abstract
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.
| Language: | English |
|---|---|
| Year: | 1997 |
| Pages: | 283-330 |
| ISSN: | 1433299x and 09345043 |
| Types: | Journal article |
| DOI: | 10.1007/BF01211086 |
| ORCIDs: | Hansen, Michael Reichhardt |
