Back to Results
First PageMeta 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
UPDATE