Subject
Management of Technology and Innovation,Artificial Intelligence,Computer Science Applications,Hardware and Architecture,Engineering (miscellaneous),Information Systems,Computer Science (miscellaneous),Software
Reference45 articles.
1. A probabilistic calculus of cyber-physical systems;Lanotte;Inform. and Comput.,2021
2. From bounded reachability analysis of linear hybrid automata to verification of industrial CPS and IoT;Bu,2019
3. Language evolution and healthiness for critical cyber-physical systems;Banach;J. Softw. Evol. Process.,2021
4. Denotational and algebraic semantics for cyber-physical systems;Li,2022
5. Unifying Theories of Programming;Hoare,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献