Affiliation:
1. University of Virginia
2. University of Patras
Publisher
Open Publishing Association
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. THE MODEL OF THE FUNCTIONAL EVOLVING FOR MULTIFUNCTIONAL AUTOMATION SYSTEMS;Vestnik komp'iuternykh i informatsionnykh tekhnologii;2023-10
2. Yoneda Hacking: The Algebra of Attacker Actions;ACM Transactions on Cyber-Physical Systems;2022-07-31
3. From Category Theory to Functional Programming: A Formal Representation of Intent;2022 IEEE 8th International Conference on Network Softwarization (NetSoft);2022-06-27
4. Designing next-generation cyber-physical systems: Why is it an issue?;Journal of Integrated Design and Process Science;2022-06-21
5. AlgebraicSystems: Compositional Verification for Autonomous System Design;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05