科研项目详细信息
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
Mikael Lindvall
Fraunhofer Center for Experimental Software Engineering
Subject:计算机科学(综合)
美国|英语
01至01
Source: National Science Foundation