( en | de | ru )

 

Disambiguierung von "Padberg, Julia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.

, , und . SBES, Seite 1-16. SBC, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julia Padberg

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Weitere Publikationen von Autoren mit dem selben Namen

Integration and Collaboration Based on Graphical Techniques (Editorial)., , und . Transactions of the SDPS, 5 (1): 1-2 (2001)A Uniform Approach to Petri Nets., und . Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 219-231. Springer, (1997)Reconfigurable Open Algebraic High-Level Systems., und . ECEASST, (2008)From Basic Views and Aspects to Integration of Specification Formalisms., , und . Current Trends in Theoretical Computer Science, World Scientific, (2001)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.. Appl. Categorical Struct., 16 (3): 333-364 (2008)Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.. Appl. Categorical Struct., 7 (4): 371-403 (1999)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Workshop on Petri Nets and Graph Transformations., , , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 467-469. Springer, (2006)Towards Component Verification in the Generic Component Framework., , und . FESCA@ETAPS, Volume 203 von Electronic Notes in Theoretical Computer Science, Seite 37-53. Elsevier, (2007)Component-Based System Development., und . Transactions of the SDPS, 6 (4): 1 (2002)