Back to Results
First PageMeta Content
Software / Theoretical computer science / Systems engineering / Unified Modeling Language / Formal methods / Logic in computer science / KeY / Hybrid system / Formal verification / First-order logic / Proof theory / Model checking


A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1
Add to Reading List

Document Date: 2013-04-05 06:08:36


Open Document

File Size: 1,32 MB

Share Result on Facebook