Methods and Tools for Verification of Cyber-Physical Systems - Poster Download pdf Tags: 0930510 Automotive Concurrency and Timing Platforms Modeling Systems Engineering Wireless Sensing and Actuation Validation and Verification Foundations 0930225 National CPS PI Meeting 2012 2012 Poster Academia CPS PI MTG 12 Posters & Abstracts License: CC-2.5 Submitted by Chris Myers on Tue, 09/04/2012 - 12:48