受强制性开放获取政策约束的文章 - Sheng-Jung Yu了解详情
可在其他位置公开访问的文章：4 篇
Towards building verifiable CPS using Lingua Franca
S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ...
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Symbiotic CPS Design-Space Exploration through Iterated Optimization
SJ Yu, I Incer, V Prabhu, A Chattoraj, E Vin, D Fremont, A Mehta, ...
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 92-99, 2023
强制性开放获取政策： US Department of Defense
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
SJ Yu, I Incer, A Sangiovanni-Vincentelli
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
强制性开放获取政策： US Department of Defense
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts
SJ Yu, I Incer, A Sangiovanni-Vincentelli
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定