科研项目详细信息
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems
Sorin Lerner
University of California-San Diego
Subject:计算机科学(综合)
美国|英语
01至01
Source: National Science Foundation