Author:
Li Ran,Zhu Huibiao,Banach Richard
Publisher
Springer International Publishing
Reference12 articles.
1. Banach, R., Zhu, H.: Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. 33(9), e2301 (2021)
2. Lecture Notes in Computer Science;H Jifeng,2017
3. Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278–292. IEEE Computer Society (1996)
4. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
5. Jones, C.B.: Accommodating interference in the formal design of concurrent object-based programs. Formal Meth. Syst. Des. 8(2), 105–122 (1996). https://doi.org/10.1007/BF00122417
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献