Methods and Tools for the Verification of Cyber-Physical Systems Download pdf Tags: 0930510 Modeling Validation and Verification Foundations 0930225 License: CC-2.5 Submitted by Chris Myers on Tue, 09/04/2012 - 12:48