Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch, Grant Olney Passmore and André Platzer Abstract. Hybrid systems with both discrete and continuous dynamics are an important model for real-w

First Page		Document Content
Date: 2014-08-04 10:11:05		Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch, Grant Olney Passmore and André Platzer Abstract. Hybrid systems with both discrete and continuous dynamics are an important model for real-w Add to Reading List Source URL: symbolaris.com Download Document from Source Website File Size: 1,38 MB Share Document on Facebook