First Page | Document Content | |
---|---|---|
![]() Date: 2014-10-10 12:15:04Unified 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 | Add to Reading List |