Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference22 articles.
1. A comprehensive survey of industry practice in real-time systems;Akesson;Real-Time Syst.,2022
2. The algorithmic analysis of hybrid systems;Alur;Theor. Comput. Sci.,1995
3. The impressive power of stopwatches;Cassez,2000
4. On the correctness of real-time modular computer systems modeling with stopwatch automata networks;Glonina;Autom. Control Comput. Sci.,2018
5. Simulation of preemptive scheduling of the independent tasks using timed automata;Pimkote,2021
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献