(Real) Time: A Philosophical Perspective

Authors:
Ron Koymans
Affiliations:
-
Venue:
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Year:
1991

Citing 0
Cited 4

Modeling And Verification Of Real-Time Systems

Journal of Integrated Design & Process Science
Comments on temporal logics for real-time system specification

ACM Computing Surveys (CSUR)
Modeling time in computing: A taxonomy and a comparative survey

ACM Computing Surveys (CSUR)
A theory of sampling for continuous-time metric temporal logic

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract