Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

GG
2008
Springer

favoriteEmaildiscussreport

98views Theoretical Computer Science» more GG 2008»

Development of Correct Graph Transformation Systems

13 years 5 months ago

Development of Correct Graph Transformation Systems

Download formale-sprachen.informatik.uni-oldenburg.de

Karl-Heinz Pennemann

Real-time Traffic

GG 2008 | Theoretical Computer Science |

claim paper

Related Content

» A Graph Rewriting Approach for Transformational Design of Digital Systems

» Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Tran...

» Case Study Model Transformations for Timetriggered Languages

» Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Tran...

» Extending C for Checking Shape Safety

» Formalizing the Development of AgentBased Systems Using Graph Processes

» ENFORCe A System for Ensuring Formal Correctness of Highlevel Programs

» Transformation of Type Graphs with Inheritance for Ensuring Security in EGovernment Networ...

» Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2008
Where	GG
Authors	Karl-Heinz Pennemann

Comments (0)