Search Sciweavers | Sciweavers

1153 search results - page 61 / 231

» Reversing graph transformations

click to vote

GG
2008
Springer

98views Theoretical Computer Science» more GG 2008»

Development of Correct Graph Transformation Systems

13 years 11 months ago

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

Karl-Heinz Pennemann

claim paper

Read More »

click to vote

ECEASST
2008

79views more ECEASST 2008»

Using Graph Transformation Systems to Specify and Verify Data Abstractions

13 years 10 months ago

Download opus.kobv.de

fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...

claim paper

Read More »

click to vote

ECEASST
2008

70views more ECEASST 2008»

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems

13 years 10 months ago

Download rap.dsi.unifi.it

Ajab Khan, Paolo Torrini, Reiko Heckel

claim paper

Read More »

click to vote

IANDC
2008

76views more IANDC 2008»

A framework for the verification of infinite-state graph transformation systems

13 years 10 months ago

Download www.di.unipi.it

Paolo Baldan, Andrea Corradini, Barbara König

claim paper

Read More »

click to vote

ECEASST
2006

48views more ECEASST 2006»

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers