Abstract | ||
---|---|---|
The Duration Calculus (abbreviated DC) represents a logical approach for 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 its 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. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BF01211086 | Formal Asp. Comput. |
Keywords | Field | DocType |
Duration Calculus,Interval Logic,Real-time systems,Formal methods | Discrete mathematics,Non-classical logic,Computer science,Natural deduction,Proof calculus,Propositional calculus,Theoretical computer science,First-order logic,Boolean algebra,Many-valued logic,Duration calculus | Journal |
Volume | Issue | ISSN |
9 | 3 | 0934-5043 |
Citations | PageRank | References |
95 | 4.89 | 59 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael r. Hansen | 1 | 543 | 43.29 |
Zhou Chaochen | 2 | 743 | 44.43 |