Contributor(s)
Stavros Tripakis
Edward A. Lee
Remote Video
Submitted by Anonymous on February 14th, 2016
Abstract:
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs.
Submitted by Anonymous on December 18th, 2015
Contributor(s)
Stravos Tripakis
Edward A. Lee
Remote Video
Submitted by Anonymous on December 3rd, 2014
Abstract:
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.
Submitted by Anonymous on November 10th, 2014