Building Cyber-Physical Systems (CPS) Where Precise Temporal Semantics are Correct by Construction
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