Search Projects: 1739936

1 result

Results

project

Visible to the public CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems

Project Details
Institution(s): 
University of Connecticut