登入選單
Google圖書搜尋
Semantical Correctness and Completeness of Model T...
作者
Hartmut Ehrig / Claudia Ermel
出版2008
ISBN
OCLC:301991396
Graph and Model Transformation
作者
Hartmut Ehrig / Claudia Ermel / Ulrike Golas / Frank Hermann
出版Springer, 2015-12-21
ISBN
9783662479803 / 366247980X
主題
Computers
On the Relationship of Model Transformations Based...
作者
Hartmut Ehrig / Claudia Ermel / Frank Hermann
出版2020
ISBN
OCLC:1199738576
Evolution of Model Transformations by Model Refact...
作者
Hartmut Ehrig / Karsten Ehrig / Claudia Ermel
出版2020
ISBN
OCLC:1199718779
On the relationship of model transformations based...
作者
Hartmut Ehrig / Claudia Ermel / Frank Hermann
出版2008
ISBN
OCLC:1073255688
Semantical Correctness and Completeness of Model T...
作者
Hartmut Ehrig / Claudia Ermel
出版2020
ISBN
OCLC:1199777209
On-the-Fly Construction, Correctness and Completen...
作者
Hartmut Ehrig / Claudia Ermel / Frank Hermann / Ulrike Prange
出版2020
ISBN
OCLC:1199787328
Transformation of Type Graphs with Inheritance for...
作者
Frank Hermann / Hartmut Ehrig / Claudia Ermel
出版2020
ISBN
OCLC:1199716524
Transfer of Local Confluence and Termination Betwe...
作者
Maria Maximova / Hartmut Ehrig / Claudia Ermel
出版2020
ISBN
OCLC:1199733776
A Formal Resolution Strategy for Operation-Based C...
作者
Hartmut Ehrig / Claudia Ermel / Gabriele Taentzer
出版2020
ISBN
OCLC:1199704225
Modeling and Analysis of Self-Adaptive Systems Bas...
作者
Antonio Bucchiarone / Hartmut Ehrig / Claudia Ermel / Patrizio Pellicione / Olga Runge
出版2020
ISBN
OCLC:1236109439
A Formal Resolution Strategy for Operation-based C...
作者
Hartmut Ehrig / Claudia Ermel / Gabriele Taentzer
出版2011
ISBN
OCLC:741956029
Concurrency in Reconfigurable Place/Systems
作者
Hartmut Ehrig / Claudia Ermel / Kathrin Hoffmann / Julia Padberg / Ulrike Prange
出版2020
ISBN
OCLC:1199777208
Semantical Correctness of Simulation to Animation ...
作者
Claudia Ermel / Hartmut Ehrig / Karsten Ehrig
出版2006
ISBN
OCLC:180955738
Formal Analysis and Verication of Self-Healing Sys...
作者
Hartmut Ehrig / Claudia Ermel / Olga Runge / Antonio Bucchiarone / Patrizio Pelliccione
出版2020
ISBN
OCLC:1199719799
Analysis of Hypergraph Transformation Systems in A...
作者
Maria Maximova / Hartmut Ehrig / Claudia Ermel
出版2020
ISBN
OCLC:1236106883
Functors Between M-adhesive Categories Applied to ...
作者
Maria Maximova / Hartmut Ehrig / Claudia Ermel
出版2011
ISBN
OCLC:761321232
Generation of Simulation Views for Domain Specic M...
作者
Claudia Ermel / Enrico Biermann / Karsten Ehrig / Jonas Hurrelmann
出版2020
ISBN
OCLC:1199723307
Conflict Detection for Model Versioning Based on G...
作者
Gabriele Taentzer / Claudia Ermel / Philip Langer / Manuel Wimmer
出版2020
ISBN
OCLC:1199734451
Low- and High-Level Petri Nets with Individual Tok...
作者
Tony Modica / Karsten Gabriel / Hartmut Ehrig / Kathrin Hoffmann / Sarkaft Shareef / Claudia Ermel / Ulrike Golas / Frank Hermann / Enrico Biermann
出版2020
ISBN
OCLC:1199706758
Concurrent Model Synchronization with Conflict Res...
作者
Frank Hermann / Hartmut Ehrig / Claudia Ermel / Fernando Orejas
出版2020
ISBN
OCLC:1199665381
Correctness of Generalisation and Customisation of...
作者
Susann Gottmann / Frank Hermann / Nico Nachtigall / Benjamin Braatz / Claudia Ermel / Hartmut Ehrig / Thomas Engel
出版2020
ISBN
OCLC:1199698287
Generation of Simulation Views for Domain Specific...
出版2009
ISBN
OCLC:741956351
Simulating Algebraic High Level Nets by Parallel A...
作者
Claudia Ermel / Gabriele Taentzer / Roswitha Bardohl
出版2004
ISBN
OCLC:254454398
Generalized Typed Attributed Graph Transformation ...
作者
Hartmut Ehrig / Karsten Ehrig / Claudia Ermel / Ulrike Prange
出版2020
ISBN
OCLC:1199728149
Modeling with Plausibility Checking: Inspecting Fa...
作者
Claudia Ermel / Jürgen Gall / Leen Lambers / Gabriele Taentzer
出版2020
ISBN
OCLC:1199666039
Generic Description of Syntax, Behavior and Animat...
作者
Roswitha Bardohl / Claudia Ermel / Hartmut Ehrig
出版2001
ISBN
OCLC:50962595
主題
Computer simulation
Refinement Versus Verification
作者
Julia Padberg / Magda Gajewsky / Claudia Ermel
出版1997
ISBN
OCLC:40121664
主題
Parallel processing (Electronic computers)
A Taste of Categorical Petri Nets
作者
Claudia Ermel / Alfio Martini
出版1996
ISBN
OCLC:35916556
主題
Categories (Mathematics)
Semantical Correctness of Simulation-to-animation ...
作者
Claudia Ermel / Hartmut Ehrig / Karsten Ehrig
出版2006
ISBN
OCLC:255474530