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