Modeling Time in Computing: A Taxonomy and a Comparative Survey

@article{Furia2010ModelingTI,
  title={Modeling Time in Computing: A Taxonomy and a Comparative Survey},
  author={Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi},
  journal={ACM Comput. Surv.},
  year={2010},
  volume={42},
  pages={6:1-6:59}
}
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is also suitable… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS