Model Based System Development/Research Themes

Within theMBSD group we work on the following (related) research themes:

• Code Generation
• Computer-Aided Verification and Analysis
• Conceptual Modeling
• Embedded and Distributed Systems
• Enterprise Engineering
• Medical Decision Support
• Probabilistic Graphical Models