Building Cyber-Physical Systems (CPS) Where Precise Temporal Semantics are Correct by Construction

Year: 2015


Presenter(s):

  • John Eidson, Visiting Scholar - UC Berkeley and Calnex Solutions