Publisher
Springer Nature Switzerland
Reference54 articles.
1. Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993). https://doi.org/10.1006/inco.1993.1024
2. Lecture Notes in Computer Science;R Alur,1990
3. Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994). https://doi.org/10.1016/0304-3975(94)90010-8
4. André, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) Model Driven Engineering Languages and Systems, pp. 559–573. Springer, Berlin Heidelberg, Berlin, Heidelberg (2007)
5. Berthomieu, B., et al.: Real-time model checking support for AADL. CoRR abs/1503.00493 (2015). http://arxiv.org/abs/1503.00493
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献