A New Computation Task Model for Cyber-Physical Systems - Kang Shin Download pdf Tags: CPS Domains Transportation Automotive Foundations Concurrency and Timing Models of Computation Real-time Systems Time Synchronization Control Modeling Real-Time Coordination Validation and Verification Testing 2013 National CPS PI Meeting 2013 Presentation Academia Session 3: CPS PI Talks License: CC-2.5 Submitted by Kang Shin on Thu, 10/17/2013 - 16:19