Search Projects: 1553757, 2018

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