Author:
Saar de Moraes Rodrigo,Nadjm-Tehrani Simin
Publisher
Springer International Publishing
Reference13 articles.
1. Robati, T., Gherbi, A., Mullins, J.: A modeling and verification approach to the design of distributed IMA architectures using TTEthernet. Procedia Comput. Sci. 83, 229–236 (2016)
2. Lecture Notes in Computer Science;R Alur,1990
3. Cruz, R.L.: A calculus for network delay. I. Network elements in isolation. IEEE Trans. Inf. Theory 37(1), 114–131 (1991)
4. Cruz, R.L.: A calculus for network delay. II. Network analysis. IEEE Trans. Inf. Theory 37(1), 132–141 (1991)
5. Goldblatt, R.: Logics of Time and Computation, vol. 7. Center for the Study of Language and Information Stanford, California (1992)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献