mtmtMagyar Tudományos Művek Tára

XML JSON Átlépés a keresőbe In English

Proceeding of ICGT'10 Doctoral Symposium

Hartmut, Ehrig [szerk.]; Arend, Rensink [szerk.]; Grzegorz, Rozenberg [szerk.]; Andy, Schürr [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: Springer-Verlag, Berlin, Németország 2010

Konferencia: Proceeding of ICGT'10 Doctoral Symposium 2010-09-29 [Enschede, Hollandia]

Sorozatok: Lecture Notes in Computer Science 0302-9743 1611-3349, 6372

Azonosítók

MTMT: 2662780
ISBN: 9783642159275
ISBN: 3642159273

Fejezetek

Brandt Christoph et al. How far can enterprise modeling for banking be supported by graph transformation?. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 3-26
Poskitt CM et al. A Hoare Calculus for Graph Programs. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 139-154
Hermann Frank et al. Formal analysis of functional behaviour for model transformations based on triple graph grammars. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 155-170
De Lara J et al. Graph transformation for domain-specific discrete event time simulation. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 266-281
Ehrig Hartmut et al. Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems: Graph Transformations. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 400-402
Ujhelyi Zoltán. Static Type Checking of Model Transformation Programs. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 413-415
Ehrig Hartmut et al. Using Graph Transformations and Graph Abstractions for Software Verification: Graph Transformations. (2010) Megjelent: Proceeding of ICGT'10 Doctoral Symposium pp. 416-418

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2023-12-06 22:15

×

Lista exportálása irodalomjegyzékként

Hivatkozás stílusok: IEEE ACM APA Chicago HarvardNyomtatásMásolás