M.Sc. Christian Mellwig https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/embsys/team/msc-christian-mellwig/
A functional programming model for embedded dataflow applications.
A functional programming model for embedded dataflow applications.
Dan Witzner Hansen, Pascal Madeleine: TemPose: a new skeleton-based transformer model
Bauer Bisimulations and Model Refinement Roland Glück Dissertation, Universität
Bauer Bisimulations and Model Refinement Roland Glück Dissertation, Universität
Diese Werkzeuge wurde für den Innovator, ein Produkt der MID GmbH, und mit dem Model
University of Augsburg, 2016 Dissertationen Michael Heider Disentangling the Model
A functional programming model for embedded dataflow applications.
A model-driven approach to noninterference.
A model-driven approach to noninterference.
appearance of Taylor vortices, the singular limit process of the Cahn-Hilliard model