Hugo/RT https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtsse/hugo-rt/
Übersetzungswerkzeug für das Model checking von bzw. die Codegenerierung aus UML-Modellen: Ein UML-Modell
Übersetzungswerkzeug für das Model checking von bzw. die Codegenerierung aus UML-Modellen: Ein UML-Modell
None
2015: „Die ‚Kirche der Armen‘ und das ‚gekreuzigte Volk‘ nach Ignacio Ellacuría – Modell
Das Messias-Modell modifiziert dabei das jüdische Gottesbild, und das Liebesgebot
Anwendungsorientierung und unter direkter Beteiligung klinischer Fächer: Bio-Psycho-Soziales Modell
Datenorganisation, Datenmodelle Konzeptionelle Modellierung mit ER und UML Relationales Modell
Universität Regensburg zum Thema „Das Euteleologische Modell
wissenschaftlichen Gemeinschaft entwickeltem, Weather Research and Forecasting Modell
Luftqualitätsmodelle und -messungen BOXMOX Box-Modell zur Simulation (photo-)chemischer
An der Professur werden sowohl in silico Modell, beispielsweise Monte-Carlo Simulationen