Transformational Design of Digital Systems based on Graph Rewriting

Corrie Huijs

Research output: Working paper

27 Downloads (Pure)

Keywords

@techreport{b7fe5196bb574cfc9dbeb54cbf4e7304,

title = "Transformational Design of Digital Systems based on Graph Rewriting",

keywords = "Specification and verification, Transformational design, Graph rewriting, Behaviour preserving transformations",

author = "Corrie Huijs",

year = "1997",

language = "English",

publisher = "University of Twente",

address = "Netherlands",

type = "WorkingPaper",

institution = "University of Twente",

}

TY - UNPB

T1 - Transformational Design of Digital Systems based on Graph Rewriting

AU - Huijs, Corrie

PY - 1997

Y1 - 1997

KW - Specification and verification

KW - Transformational design

KW - Graph rewriting

KW - Behaviour preserving transformations

M3 - Working paper

BT - Transformational Design of Digital Systems based on Graph Rewriting

PB - University of Twente

ER -