Author:
Abdullah Jakaria,Dai Gaoyang,Mohaqeqi Morteza,Yi Wang
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning real-time automata;Science China Information Sciences;2021-08-05
2. Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-11
3. Learning One-Clock Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2020
4. A Generalized Digraph Model for Expressing Dependencies;Proceedings of the 26th International Conference on Real-Time Networks and Systems;2018-10-10