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

Year: 2015

Presenter:

  • John Eidson
    Visiting Scholar
    UC Berkeley and Calnex Solutions
© ATIS