Publisher
Springer International Publishing
Reference33 articles.
1. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Carloni, L.P., Tripakis, S. (eds.) EMSOFT, pp. 229–238. ACM (2010).
https://doi.org/10.1145/1879021.1879052
2. Abdellatif, T., Combaz, J., Sifakis, J.: Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23(4), 882–914 (2013).
https://doi.org/10.1017/S096012951200028X
3. Abdullah, J., Mohaqeqi, M., Yi, W.: Synthesis of Ada code from graph-based task models. In: Seffah, A., Penzenstadler, B., Alves, C., Peng, X. (eds.) SAC, pp. 1467–1472. ACM (2017).
https://doi.org/10.1145/3019612.3019681
4. Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269–300 (2002)
5. Lecture Notes in Computer Science;S Feo-Arenis,2017
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献