Výsledky vyhledávání - "Stüber, Sebastian Wolfram"

Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines

Autor: Michael, Judith, Nachmann, Imke Helene, Netz, Lukas Stephan Michael, Rumpe, Bernhard, Stüber, Sebastian Wolfram

Publikováno v: Bonn : Gesellschaft für Informatik e.V., GI-Edition. Proceedings / Gesellschaft für Informatik P-324, 33-48 (2022). doi:10.18420/MODELLIERUNG2022-012
Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI)
Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI)Modellierung 2022, Hamburg, Germany, 2022-06-27-2022-07-01

Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI) Modellierung 2022, Hamburg, Germany, 27 Jun 2022 - 1 Jul 2022; Bonn : Gesellschaft für Informatik e.V.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::938477010fa94b346d311c99a3869056
https://publications.rwth-aachen.de/record/853233

Zobrazit plný text záznamu

Towards an Isabelle Theory for distributed, interactive systems : the untimed case

Autor: Bürger, Jens Christoph, Kausch, Hendrik, Raco, Deni, Ringert, Jan Oliver, Rumpe, Bernhard, Stüber, Sebastian Wolfram, Wiartalla, Marc

Publikováno v: Düren : Shaker Verlag, Aachener Informatik-Berichte, Software-Engineering 45, 254 Seiten (2020). doi:10.18154/RWTH-2020-10398

Düren : Shaker Verlag, Aachener Informatik-Berichte, Software-Engineering 45, 254 Seiten (2020).
Published by Shaker Verlag, Düren

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63e91ba1b8a620437b4cc9bbe2a727d8

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání