Adrian Rumpold https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtpvs/team/adrian-rumpold2/
Systeme Formale Methoden im Software Engineering Betreute Abschlussarbeiten A Model-Driven
Dein Suchergebnis zum Thema: Model
Projekte https://www.uni-augsburg.de/de/fakultaet/fai/isse/projects/
Multiapplicative SmartCard Operating System) project a generic formal security model
Bernhard Bauer https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtpvs/team/bernhard-bauer/
None
An OGMS-based model for clinical information.
Wissenschaftliche Veröffentlichungen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtpvs/publikationen/wissenschaftliche-veroffentlichungen/
None
An OGMS-based model for clinical information.
Publications of Bernd Schmidt https://www.uni-augsburg.de/de/fakultaet/mntf/math/prof/ana/prof-dr-bernd-schmidt/publications-bernd-schmidt/
Model. Simul. 21 (2023) pp. 1717-1745. ArXive (with M.
MBEES: Sozial und wissenschaftlich https://www.uni-augsburg.de/de/fakultaet/med/profs/exposure-science/aktuelles/mbees-sozial-und-wissenschaftlich/
Karriere | Locations & Maps | Pressemitteilung Model-based Environmental Exposure
Robert Altmann https://www.uni-augsburg.de/de/fakultaet/mntf/math/prof/numa/alumni/robert-altmann/
None
Model. Numer. Anal., Vol. 49(5), 2015, pp. 1489–1509. [5] R. Altmann, P.
kein Titel https://www.uni-augsburg.de/de/fakultaet/med/profs/exposure-science/aktuelles/
Fakultäten Medizinische Fakultät Lehrstühle und Professuren Model-based
Adaptive Redundancy for Manycore Architectures https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/embsys/research/adaptive-redundancy-manycore-architectures/
Furthermore we’ve developed a functional-style programming model called RAPID (Resilient
Dr. Bin Zhou https://www.uni-augsburg.de/de/fakultaet/med/profs/exposure-science/team/dr-bin-zhou/
Karriere | Locations & Maps | Pressemitteilung Model-based Environmental Exposure