[PDF][PDF] Towards Focus on Time
M Spichkova - arXiv preprint arXiv:1403.1006, 2014 - arxiv.org
arXiv preprint arXiv:1403.1006, 2014•arxiv.org
Towards Focus on Time Page 1 arXiv:1403.1006v1 [cs.FL] 5 Mar 2014 Electronic
Communications of the EASST Volume X (2012) Proceedings of the 12th International
Workshop on Automated Verification of Critical Systems (AVoCS 2012) Towards Focus on
Time Maria Spichkova 2 pages Guest Editors: Gerald Lüttgen, Stephan Merz Managing
Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/
ISSN 1863-2122 Page 2 ECEASST Towards Focus on Time Maria Spichkova1 1 spichkov@in.tum.de …
Communications of the EASST Volume X (2012) Proceedings of the 12th International
Workshop on Automated Verification of Critical Systems (AVoCS 2012) Towards Focus on
Time Maria Spichkova 2 pages Guest Editors: Gerald Lüttgen, Stephan Merz Managing
Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/
ISSN 1863-2122 Page 2 ECEASST Towards Focus on Time Maria Spichkova1 1 spichkov@in.tum.de …
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.
arxiv.org