Verifying Consistency Between Models

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090003 ◽

2013 ◽

Author(s):

August Schwerdfeger ◽

Hazel Shackleton ◽

Steve Vestal

Download Full-text