Back to Results
First PageMeta Content
Scientific modeling / Differential equations / Diagrams / Software architecture / Architecture description language / Modeling language / Hybrid system / Object Process Methodology / Hybrid automaton / Component-based software engineering / Conceptual model / Model checking


TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2
Add to Reading List

Document Date: 2012-02-20 08:24:13

Open Document

File Size: 136,17 KB

Share Result on Facebook