Formalisms for Cyber-Physical Systems in Transportation Download pdf Tags: CPS Technologies Avionics Automotive Transportation CPS Domains CFP Paper Submissions CFP Submissions Academia middleware formal methods Position Paper Publications 2014 National Workshop on Transportation CPS 2014 Modeling Concurrency and Timing Foundations Wireless Sensing and Actuation Embedded Software License: CC-2.5 Submitted by Gul Agha on Thu, 02/20/2014 - 15:07