Paper Info
Title
Towards Focus on Time.
Abstract
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.
Year
Venue
Field
2014
CoRR
Zeno's paradoxes,Programming language,Computer science,Automaton,Automation,Without loss of generality,Operator (computer programming),Formal methods,Granularity,System requirements
DocType
Volume
Citations 
Journal
abs/1403.1006
2
PageRank 
References 
Authors
0.54
3
1
Name
Order
Citations
PageRank
Maria Spichkova116015.29