Date: 2012-02-20 08:24:13Scientific 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-2Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deDownload Document from Source Website File Size: 136,17 KBShare Document on Facebook
|