Search Projects: 1553757

1 result

Results

project

Visible to the public CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems

Project Details
Institution(s): 
University of California-Riverside