Video
CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Qi Zhu
Remote Video
Tags
Submitted by Anonymous on September 9th, 2021
File
Software Synthesis with Timing Contracts for Cyber-Physical Systems
Submitted by Qi Zhu on June 18th, 2021
File
CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
Submitted by Qi Zhu on June 7th, 2021
Subscribe to 1834701