RESETting Timed Machines - Stulman, Ariel (Journal of computing and information technology, 2011)
Keywords: Algorithms; Applied sciences; automata; Computer science; control theory; systems; Computer systems performance. Reliability; Exact sciences and technology; formal methods; models of computations; realtime systems; Robots; Software; Software engineering; software/program verification; Initialization; Formal method; Automaton; Automata; D.2.m [Software Engineering]: Miscellaneous; Real time; Modeling; Program verification; Formal Methods; D.2.4 [Software Engineering]: Software; F.1.1 [Theory of Computation]: Models of Computations; Real-time systems; Software engineering; Execution time