CPS FORMAL VERIFICATION: APPLICATION TO AUTOMOTIVE POWERTRAIN SYSTEMS Download pdf Tags: Toyota Motor North America Formal Methods in Cyber-Physical Systems: Impact and Future Directions License: CC-2.5 Submitted by Ken Butts on Thu, 11/30/2017 - 20:09