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 - Model-driven engineering - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2014-08-04 10:11:05 Open Document File Size: 1,38 MB Share Result on Facebook

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-wAdd to Reading List