Back to Results
First PageMeta Content
Unified Modeling Language / Model-driven architecture / Object Management Group / Modeling language / KeY / Hybrid system / Model checking / Metamodeling / Systems Modeling Language / Object Process Methodology / Formal verification / Hybrid automaton


Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering
Add to Reading List

Document Date: 2014-10-10 12:15:04

Open Document

File Size: 2,39 MB

Share Result on Facebook