Joshua Gleitze und Heiko Klare - Info zur Person

(1 - 10 von 11

)

pdf - OAPEN Library

library.oapen.org

von E Guerra · — Joshua Gleitze, Heiko Klare, and Erik Burger. CoVEGI: Cooperative Verification via Externally Generated Invariants › bitstream › handle

Fundamental Approaches to Software Engineering: 24th ...

books.google.com

... Transformation Networks⋆ Joshua Gleitze , Heiko Klare( ) , and Erik Burger KASTEL, Karlsruhe Institute of Technology, Karlsruhe, Germany joshua.gleitze ...

Execution Strategy Latest Research Papers | ScienceGatewww.sciencegate.app › keywords

www.sciencegate.app

morressier f41a80aac83ca25d09 ◽ ◽. Author(s):. Heiko Klare ◽. Joshua Gleitze ◽. Erik Burger. Keyword(s):. Model Transformation ◽.

24th International Conference, FASE 2021, Held as Part of the ...

researchr.org

[doi] · Finding a Universal Execution Strategy for Model Transformation NetworksJoshua Gleitze, Heiko Klare, Erik Burger. › publication

HeikoKlare - klare.info

www.heiko.klare.info

— [6] Joshua Gleitze, Heiko Klare und Erik Burger. “Finding a Universal Execution Strategy · for Model Transformation Networks”. › uploads ›

ETAPS Best Papers

etaps.org

Joshua Gleitze, Heiko Klare and Erik Burger. Finding a Universal Execution Strategy for Model Transformation Networks. FASE › ...

Finding a Universal Execution Strategy for Model OUCI

ouci.dntb.gov.ua

von J Gleitze · · Zitiert von: 5 — ... Lecture Notes in Computer Science, 2021, p Publisher: Springer International Publishing. Authors: Joshua Gleitze, Heiko Klare, Erik Burger ... › works

KIT - Anwendungsorientierte Formale Verifikation

formal.kastel.kit.edu

von J Gleitze · · Zitiert von: 7 — Autor(en):, Joshua Gleitze, Heiko Klare und Erik Burger. In: 24th International Conference on Fundamental Approaches to Software Engineering ... › pubs

双向模型转换网络执行策略的终止和表达 - X-MOL

www.x-mol.com

— Heiko Klare, Joshua Gleitze. When developers describe a software system with multiple models, such as architecture diagrams, ... › paper

Alle Infos zum Namen "Joshua Gleitze"

Verwandte Suchanfragen zu Joshua Gleitze

Heiko Klare
Patrick Callier

Person "Gleitze" (2)
Vorname "Joshua" (7012)
Name "Gleitze" (54)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Joshua Gleitze und Heiko Klare Person-Info